Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Compartment Container) Mid-level-ontology.kif 4810-4810 Compartment is a subclass of container
(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 4811-4813 Compartment is a subclass of container
(externalImage Compartment "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Drawer.agr.jpg") pictureList.kif 81-81 Compartment is a subclass of container

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


(termFormat EnglishLanguage Compartment "compartment") domainEnglishFormat.kif 16146-16146
(termFormat ChineseTraditionalLanguage Compartment "隔室") domainEnglishFormat.kif 16147-16147
(termFormat ChineseLanguage Compartment "隔室") domainEnglishFormat.kif 16148-16148

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


(=>
    (instance ?C Compartment)
    (exists (?O)
        (and
            (instance ?O Container)
            (not
                (equal ?C ?O))
            (part ?C ?O))))		 Mid-level-ontology.kif 4814-4820 If X is an instance of compartment, then there exists Y such that Y is an instance of container, equal X, Y, and X is a part of Y

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 4539-4553 If X is an instance of pull-down bed, then there exists Y such that Y is an instance of compartment, Y meets X, Y has the purpose there exists Z such that Z is an instance of keeping, X is a patient of Z, Z ends up at Y, and vertical to is an attribute of X holds during the time of existence of Z
(=>
    (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 4572-4584 If X is an instance of sofa bed, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of compartment (3) Z is a part of Y (4) Y is an instance of sofa (5) Z has the purpose there exists W such that W is an instance of keeping (6) X is a patient of W (7) W ends up at Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners