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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContainerChest

Sigma KEE - ContainerChest
ContainerChest(櫃子)

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 子類 櫃子 and 抽屜櫃或櫃子

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


(termFormat ChineseLanguage ContainerChest "柜子") domainEnglishFormat.kif 64330-64330
(termFormat ChineseTraditionalLanguage ContainerChest "櫃子") domainEnglishFormat.kif 64331-64331
(termFormat EnglishLanguage ContainerChest "chest container") domainEnglishFormat.kif 64329-64329

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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