Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Compartment
Compartment(compartment)
compartment, cubbyhole, drawer, overhead, pigeonhole

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4060-4062
No TPTP formula. May not be expressible in strict first order. pictureList.kif 81-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4059-4059 Compartment is a subclass of container

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16137-16137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16136-16136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16135-16135

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4063-4069

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3844-3858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3877-3889


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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