Your observations warrant a new thread–I started with a proposed method for importing an Upper Ontology into an IF engine.