EnglishLanguage(english language)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2156-2158
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6422-6424
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6462-6467
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6413-6418
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6485-6487
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6440-6444
No TPTP formula. May not be expressible in strict first order. Media.kif 2564-2567
No TPTP formula. May not be expressible in strict first order. Languages.kif 3772-3774
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4946-4949
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 523-525
No TPTP formula. May not be expressible in strict first order. People.kif 1213-1213
No TPTP formula. May not be expressible in strict first order. People.kif 1210-1210
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3853-3862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12818-12819
No TPTP formula. May not be expressible in strict first order. arteries.kif 1275-1277
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1616-1616
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2152-2152
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2134-2134
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1587-1587
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1541-1541
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1596-1596
No TPTP formula. May not be expressible in strict first order. Languages.kif 2924-2932
No TPTP formula. May not be expressible in strict first order. Languages.kif 3778-3783
No TPTP formula. May not be expressible in strict first order. Languages.kif 14551-14553
No TPTP formula. May not be expressible in strict first order. Merge.kif 14937-14940

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