Translation in FCG of some ontologies from Ontolingua

Work in progress.   Last updated in November 2012.

One goal of this translation exercise is to test the expressiveness of FCG and
its intuitiveness even for complex logical formulas.
A second goal is to organize Ontolingua to ease the understanding its structure.
A third goal is to merge Ontolingua into the KB of WebKB.

Background :
- KIF ontologies.   KIF standard.
- Translation examples.   Translation frame.