(translate-file <ontology-file>
[:output-file <output-file>]
[:implementation <implementation>])
Translates an ontolingua file to some target representation and prints the result to a file. Input is taken from the file <ontology-file>, translated under implemenation <implementation> (or *IMPLEMENTATION* if <implementation> is not provided) and any output (i.e., directed to *TRANSLATION-OUTPUT-STREAM*) is sent to the file <output-file>. If <output-file> is not provided, it defaults to <ontology-file> with an appropriate extension suffixed (e.g., .loom or .kif).