Is there a way to import and export knowledge into/from the OpenCyc database in form of CycL statements?

Is there already some program, which reads CycL statements from, say, an XML file and then enters them into the database?

Is there some program, which exports the contents of a user-defined micro-theory (i. e. a micro-theory, which was entered by me and is not part of the ontology delivered with OpenCyc) into an XML file with CycL statements?


Dmitri Pissarenko