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 4843-4844
(externalImage Hat "http://upload.wikimedia.org/wikipedia/commons/9/97/Chapeauclaque.jpg") pictureList.kif 110-110
(externalImage Hat "http://www.adampease.org/Articulate/SUMOpictures/pictures/ holiday/ stPats/ hat/ Hat_4.png") pictureList.kif 491-491
(subclass Hat
    (CoveringFn Head))
Mid-level-ontology.kif 4845-4845
(subclass Hat Clothing) Mid-level-ontology.kif 4842-4842

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


(subclass Gutrah Hat) ArabicCulture.kif 360-360
(subclass Kufiyyah Hat) ArabicCulture.kif 345-345
(subclass Shimagh Hat) ArabicCulture.kif 380-380
(subclass Tagiyyah Hat) ArabicCulture.kif 352-352
(termFormat ChineseLanguage Hat "帽子") domainEnglishFormat.kif 27567-27567
(termFormat ChineseTraditionalLanguage Hat "帽子") domainEnglishFormat.kif 27566-27566
(termFormat EnglishLanguage Hat "hat") domainEnglishFormat.kif 27565-27565

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 407-418
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 4847-4855


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