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 5436-5437
(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 Clothing) Mid-level-ontology.kif 5435-5435

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


(subclass Gutrah Hat) ArabicCulture.kif 358-358
(subclass Kufiyyah Hat) ArabicCulture.kif 343-343
(subclass Shimagh Hat) ArabicCulture.kif 378-378
(subclass Tagiyyah Hat) ArabicCulture.kif 350-350
(termFormat ChineseLanguage Hat "帽子") domainEnglishFormat.kif 27499-27499
(termFormat ChineseTraditionalLanguage Hat "帽子") domainEnglishFormat.kif 27498-27498
(termFormat EnglishLanguage Hat "hat") domainEnglishFormat.kif 27497-27497

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 405-416
(=>
    (and
        (wears ?PERSON ?HAT)
        (instance ?HAT Hat))
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?HEAD ?PERSON)
            (meetsSpatially ?HAT ?HEAD))))
Mid-level-ontology.kif 5439-5447


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