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