connected

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5232-5237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14477-14483
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 831-836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12875-12880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11317-11325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15644-15649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26347-26353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2037-2046
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1113-1119
No TPTP formula. May not be expressible in strict first order. Geography.kif 5524-5531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11740-11745
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11727-11732
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1831-1839
No TPTP formula. May not be expressible in strict first order. Geography.kif 5187-5193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21839-21847
No TPTP formula. May not be expressible in strict first order. Cars.kif 1016-1034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26482-26493
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3958-3969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26229-26243
No TPTP formula. May not be expressible in strict first order. Media.kif 1336-1350
No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17082
No TPTP formula. May not be expressible in strict first order. Merge.kif 17132-17135
No TPTP formula. May not be expressible in strict first order. Merge.kif 17146-17148
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2727-2737
No TPTP formula. May not be expressible in strict first order. Merge.kif 17894-17903

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