TreeView Knowledge Base Browser - Compartment

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 4158-4160
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 4157-4157	Compartment is a subclass of container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16146-16146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16145-16145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16144-16144

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 4161-4167

If an object is an instance of compartment,
then there exists another object such that the other object is an instance of container and the object is not equal to the other object and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3886-3900	If an object is an instance of pull-down bed, then there exists another object such that the other object is an instance of compartment and the other object meets the object and the other object has the purpose there exists an entity such that the entity is an instance of keeping and the object is a patient of the entity and the entity ends up at the other object and vertical is an attribute of the object holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3919-3931	If an entity is an instance of sofa bed, then there exist an object and another object such that the other object is an instance of compartment and the other object is a part of the object and the object is an instance of sofa and the other object has the purpose there exists another entity such that the other entity is an instance of keeping and the entity is a patient of the other entity and the other entity ends up at the other object

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

Show without tree

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