subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Economy.kif 2217-2224
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Government.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. Geography.kif 1242-1246
No TPTP formula. May not be expressible in strict first order. Geography.kif 984-989
No TPTP formula. May not be expressible in strict first order. Geography.kif 1474-1479
No TPTP formula. May not be expressible in strict first order. Geography.kif 1340-1346
No TPTP formula. May not be expressible in strict first order. Geography.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. Geography.kif 969-973
No TPTP formula. May not be expressible in strict first order. Geography.kif 1511-1516
No TPTP formula. May not be expressible in strict first order. Geography.kif 1348-1353
No TPTP formula. May not be expressible in strict first order. Geography.kif 1381-1386
No TPTP formula. May not be expressible in strict first order. Geography.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. Cars.kif 1808-1822
No TPTP formula. May not be expressible in strict first order. Geography.kif 6254-6259
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1704-1726

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