part

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18225-18235
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Merge.kif 4257-4263
No TPTP formula. May not be expressible in strict first order. Merge.kif 9903-9909
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6237-6246
No TPTP formula. May not be expressible in strict first order. Economy.kif 3840-3845
No TPTP formula. May not be expressible in strict first order. Food.kif 1321-1332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11531-11538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9839-9861
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2763-2777
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1008-1019
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9900-9922
No TPTP formula. May not be expressible in strict first order. Cars.kif 853-866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11675-11680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11655-11660
No TPTP formula. May not be expressible in strict first order. Weather.kif 69-73
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 586-591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12848-12854
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12859-12863
No TPTP formula. May not be expressible in strict first order. Geography.kif 2873-2884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3416-3426
No TPTP formula. May not be expressible in strict first order. Merge.kif 18117-18122
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707

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