Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Closet
Closet(closet)
closet, cupboard

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


(subclass Closet Room) Mid-level-ontology.kif 17103-17103 Closet is a subclass of room
(documentation Closet EnglishLanguage "A relatively small Room used for storage.") Mid-level-ontology.kif 17104-17104 Closet is a subclass of room
(externalImage Closet "http://upload.wikimedia.org/wikipedia/commons/0/04/ Wall_closet.jpg") pictureList.kif 4610-4610 Closet is a subclass of room

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


(termFormat EnglishLanguage Closet "closet") domainEnglishFormat.kif 15198-15198
(termFormat ChineseTraditionalLanguage Closet "衣櫥") domainEnglishFormat.kif 15199-15199
(termFormat ChineseLanguage Closet "衣橱") domainEnglishFormat.kif 15200-15200

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


(=>
    (instance ?R Closet)
    (hasPurpose ?R
        (exists (?K ?O)
            (and
                (instance ?K Keeping)
                (patient ?K ?O)
                (located ?O ?R)))))		 Mid-level-ontology.kif 17106-17113 If X is an instance of closet, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, and Z is located at X


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners