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 | subclass Hat and Clothing |
appearance as argument number 2 |
![]() |
(subclass Gutrah Hat) | ArabicCulture.kif 358-358 | subclass Gutrah and Hat |
(subclass Kufiyyah Hat) | ArabicCulture.kif 343-343 | subclass Kufiyyah and Hat |
(subclass Shimagh Hat) | ArabicCulture.kif 378-378 | subclass Shimagh and Hat |
(subclass Tagiyyah Hat) | ArabicCulture.kif 350-350 | subclass Tagiyyah and Hat |
(termFormat ChineseLanguage Hat "帽子") | domainEnglishFormat.kif 27574-27574 | |
(termFormat ChineseTraditionalLanguage Hat "帽子") | domainEnglishFormat.kif 27573-27573 | |
(termFormat EnglishLanguage Hat "hat") | domainEnglishFormat.kif 27572-27572 |
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 |
|
![]() |
![]() |