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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hat
Hat(hat)
Balmoral, Panama, Panama_hat, Stetson, Tyrolean, baseball_cap, bathing_cap, bearskin, beaver, bluebonnet, boater, bonnet, bowler, bowler_hat, busby, calpac, calpack, campaign_hat, cap, cavalier_hat, chapeau, cocked_hat, cowboy_hat, deerstalker, derby, derby_hat, dress_hat, dunce's_cap, dunce_cap, fedora, felt_hat, fool's_cap, fur_hat, golf_cap, hat, headdress, headgear, high_hat, homburg, jockey_cap, kalansuwa, kalpac, leghorn, lid, millinery, opera_hat, plug_hat, poke_bonnet, porkpie, porkpie_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 5106-5107
(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 5108-5108 Hat is a subclass of a covering for head
(subclass Hat Clothing) Mid-level-ontology.kif 5105-5105 Hat is a subclass of clothing

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


(subclass Gutrah Hat) ArabicCulture.kif 371-371 Gutrah is a subclass of hat
(subclass Kufiyyah Hat) ArabicCulture.kif 356-356 Kufiyyah is a subclass of hat
(subclass Shimagh Hat) ArabicCulture.kif 392-392 Shimagh is a subclass of hat
(subclass Tagiyyah Hat) ArabicCulture.kif 363-363 Tagiyyah is a subclass of hat
(termFormat ChineseLanguage Hat "帽子") domainEnglishFormat.kif 27566-27566
(termFormat ChineseTraditionalLanguage Hat "帽子") domainEnglishFormat.kif 27565-27565
(termFormat EnglishLanguage Hat "hat") domainEnglishFormat.kif 27564-27564

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 5110-5118


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