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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Hat
Hat

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


(documentation Hat EnglishLanguage "A type of Clothing that is worn on the Head. Note that this class covers caps, bonnets, berets, etc.") Mid-level-ontology.kif 6083-6084
(externalImage Hat "http://articulatesoftware.com/SUMOpictures/holiday/stPats/ hat/ Hat_4.png") pictureList.kif 491-491
(externalImage Hat "http://upload.wikimedia.org/wikipedia/commons/9/97/Chapeauclaque.jpg") pictureList.kif 110-110
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 6085-6085 Hat est une sous-classe de CoveringFn Head
(subclass Hat Clothing) Mid-level-ontology.kif 6082-6082 Hat est une sous-classe de v�tement

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


(subclass Gutrah Hat) ArabicCulture.kif 371-371 Gutrah est une sous-classe de Hat
(subclass Kufiyyah Hat) ArabicCulture.kif 356-356 Kufiyyah est une sous-classe de Hat
(subclass Shimagh Hat) ArabicCulture.kif 392-392 Shimagh est une sous-classe de Hat
(subclass Tagiyyah Hat) ArabicCulture.kif 363-363 Tagiyyah est une sous-classe de Hat
(termFormat ChineseLanguage Hat "帽子") domainEnglishFormat.kif 27587-27587 Tagiyyah est une sous-classe de Hat
(termFormat ChineseTraditionalLanguage Hat "帽子") domainEnglishFormat.kif 27586-27586 Tagiyyah est une sous-classe de Hat
(termFormat EnglishLanguage Hat "hat") domainEnglishFormat.kif 27585-27585 Tagiyyah est une sous-classe de Hat

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


(=>
    (and
        (instance ?D Dressing)
        (instance ?O Oqal)
        (instance ?H Hat)
        (patient ?D ?O)
        (patient ?D ?H))
    (hasPurpose ?O
        (exists (?A)
            (and
                (instance ?A Attaching)
                (instrument ?A ?O)))))
ArabicCulture.kif 420-431
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 6087-6095


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