Hpkb-Upper-Level-Kernel-Latest: Upper Cyc/ HPKB IKB Ontology with links to SENSUS, Version 1.4, February 1998. Ontolingua Ontology Server