memberType

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25919-25927
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1723-1725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26098-26102
No TPTP formula. May not be expressible in strict first order. Hotel.kif 143-145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26967-26971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22671-22677
No TPTP formula. May not be expressible in strict first order. Hotel.kif 187-192
No TPTP formula. May not be expressible in strict first order. Hotel.kif 248-253
No TPTP formula. May not be expressible in strict first order. Hotel.kif 203-208


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