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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hat

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 5146-5147
(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 5148-5148 子類 帽子 and 對於 covering
(subclass Hat Clothing) Mid-level-ontology.kif 5145-5145 子類 帽子 and Clothing

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


(subclass Gutrah Hat) ArabicCulture.kif 371-371 子類 gutrah and 帽子
(subclass Kufiyyah Hat) ArabicCulture.kif 356-356 子類 kufiyyah and 帽子
(subclass Shimagh Hat) ArabicCulture.kif 392-392 子類 shimagh and 帽子
(subclass Tagiyyah Hat) ArabicCulture.kif 363-363 子類 tagiyyah and 帽子
(termFormat ChineseLanguage Hat "帽子") domainEnglishFormat.kif 27576-27576
(termFormat ChineseTraditionalLanguage Hat "帽子") domainEnglishFormat.kif 27575-27575
(termFormat EnglishLanguage Hat "hat") domainEnglishFormat.kif 27574-27574

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 5150-5158


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