Compartment - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Compartment EnglishLanguage "A Container which is part of another Container, e.g. a drawer, a zippered pouch in a piece of luggage, a compartment in a TV dinner, etc.")	Mid-level-ontology.kif 4158-4160
(externalImage Compartment "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Drawer.agr.jpg")	pictureList.kif 81-81
(subclass Compartment Container)	Mid-level-ontology.kif 4157-4157	Compartment is a subclass of container

appearance as argument number 2

(termFormat ChineseLanguage Compartment "隔室")	domainEnglishFormat.kif 16162-16162
(termFormat ChineseTraditionalLanguage Compartment "隔室")	domainEnglishFormat.kif 16161-16161
(termFormat EnglishLanguage Compartment "compartment")	domainEnglishFormat.kif 16160-16160

antecedent

(=>
    (instance ?C Compartment)
    (exists (?O)
        (and
            (instance ?O Container)
            (not
                (equal ?C ?O))
            (part ?C ?O))))

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

(=> (instance ?X MurphyBed) (exists (?STORAGE) (and (instance ?STORAGE Compartment) (meetsSpatially ?STORAGE ?X) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE) (holdsDuring (WhenFn ?K) (attribute ?X Vertical))))))))	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
(=> (instance ?X SofaBed) (exists (?SOFA ?STORAGE) (and (instance ?STORAGE Compartment) (part ?STORAGE ?SOFA) (instance ?SOFA Sofa) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE)))))))	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 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

KB Term:			Term intersection

English Word: