Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContainerChest
ContainerChest(chest container)closet, press, wardrobe

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


(documentation ContainerChest EnglishLanguage "A ContainerChest is a piece of Furniture with a lid for storage. It is ususally in the shape of a Rectangle.") Mid-level-ontology.kif 3978-3979
(subclass ContainerChest ChestOrCabinet) Mid-level-ontology.kif 3977-3977 Chest container is a subclass of chest or cabinet

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


(termFormat ChineseLanguage ContainerChest "柜子") domainEnglishFormat.kif 64376-64376
(termFormat ChineseTraditionalLanguage ContainerChest "櫃子") domainEnglishFormat.kif 64377-64377
(termFormat EnglishLanguage ContainerChest "chest container") domainEnglishFormat.kif 64375-64375

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


(=>
    (instance ?C ContainerChest)
    (exists (?LID)
        (and
            (instance ?LID Lid)
            (part ?LID ?C))))
Mid-level-ontology.kif 3993-3998
(=>
    (instance ?C ContainerChest)
    (hasPurpose ?C
        (exists (?KEEP)
            (and
                (instance ?KEEP Keeping)
                (instrument ?KEEP ?C)))))
Mid-level-ontology.kif 3981-3987
(=>
    (instance ?C ContainerChest)
    (shape ?C Rectangle))
Mid-level-ontology.kif 3989-3991


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