subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1373-1379
No TPTP formula. May not be expressible in strict first order. Geography.kif 1388-1395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14276-14281
No TPTP formula. May not be expressible in strict first order. engineering.kif 830-835
No TPTP formula. May not be expressible in strict first order. Catalog.kif 36-41
No TPTP formula. May not be expressible in strict first order. Cars.kif 1724-1729
No TPTP formula. May not be expressible in strict first order. Cars.kif 1710-1717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4131-4136
No TPTP formula. May not be expressible in strict first order. Merge.kif 6184-6186
No TPTP formula. May not be expressible in strict first order. Cars.kif 3457-3487
No TPTP formula. May not be expressible in strict first order. engineering.kif 859-864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12455-12465
No TPTP formula. May not be expressible in strict first order. Food.kif 304-310
No TPTP formula. May not be expressible in strict first order. Dining.kif 217-222
No TPTP formula. May not be expressible in strict first order. Dining.kif 205-210
No TPTP formula. May not be expressible in strict first order. Dining.kif 181-186
No TPTP formula. May not be expressible in strict first order. Dining.kif 229-234
No TPTP formula. May not be expressible in strict first order. Merge.kif 1250-1258
No TPTP formula. May not be expressible in strict first order. Cars.kif 3493-3519
No TPTP formula. May not be expressible in strict first order. WMD.kif 718-723
No TPTP formula. May not be expressible in strict first order. Food.kif 864-870
No TPTP formula. May not be expressible in strict first order. Cars.kif 3398-3427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8869-8871
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1956-1961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7232-7237

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners