origin

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17352-17368
No TPTP formula. May not be expressible in strict first order. Merge.kif 11744-11755
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1589-1597
No TPTP formula. May not be expressible in strict first order. Dining.kif 610-627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16561-16575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25947-25960
No TPTP formula. May not be expressible in strict first order. Geography.kif 6412-6423
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1883-1900
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6595-6607
No TPTP formula. May not be expressible in strict first order. Merge.kif 11933-11937
No TPTP formula. May not be expressible in strict first order. Merge.kif 13610-13624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6567-6577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6553-6561
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3885-3895
No TPTP formula. May not be expressible in strict first order. Medicine.kif 895-917
No TPTP formula. May not be expressible in strict first order. Cars.kif 523-536
No TPTP formula. May not be expressible in strict first order. Merge.kif 11305-11328
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1841-1858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11157-11172
No TPTP formula. May not be expressible in strict first order. Dining.kif 274-291
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 949-964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27125-27135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27142-27154

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners