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