Closet - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Closet "衣橱")	domainEnglishFormat.kif 15213-15213
(termFormat ChineseTraditionalLanguage Closet "衣櫥")	domainEnglishFormat.kif 15212-15212
(termFormat EnglishLanguage Closet "closet")	domainEnglishFormat.kif 15211-15211

antecedent

(=>
    (instance ?R Closet)
    (hasPurpose ?R
        (exists (?K ?O)
            (and
                (instance ?K Keeping)
                (patient ?K ?O)
                (located ?O ?R)))))

Mid-level-ontology.kif 16435-16442

If a physical is an instance of closet,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of keeping and the other entity is a patient of the entity and the other entity is located at the physical

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: