Compartment - Sigma Knowledge base Browser

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

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 3844-3858	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 3877-3889	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 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