before

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8280-8282
No TPTP formula. May not be expressible in strict first order. Merge.kif 7902-7909
No TPTP formula. May not be expressible in strict first order. Merge.kif 7920-7927
No TPTP formula. May not be expressible in strict first order. Merge.kif 7980-7988
No TPTP formula. May not be expressible in strict first order. emotion.kif 1033-1044
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1914-1929
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2160-2167
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 218-226
No TPTP formula. May not be expressible in strict first order. Merge.kif 8036-8038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29256-29276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25154-25165
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 294-308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11898-11918
No TPTP formula. May not be expressible in strict first order. Merge.kif 8014-8026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29283-29303
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1760-1777
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1944-1962
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1802-1823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2137-2151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25420-25441
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 82-92
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 36-46
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. Mid-level-ontology.kif 26067-26080

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