| 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 6109-6110 | |
| (externalImage Hat "http://articulatesoftware.com/SUMOpictures/holiday/stPats/ hat/ Hat_4.png") | pictureList.kif 491-491 | |
| (externalImage Hat "http://upload.wikimedia.org/wikipedia/commons/9/97/Chapeauclaque.jpg") | pictureList.kif 110-110 | |
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 6111-6111 | Hat は CoveringFn Head の subclass では %n |
| (subclass Hat Clothing) | Mid-level-ontology.kif 6108-6108 | Hat は 衣類 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Gutrah Hat) | ArabicCulture.kif 371-371 | Gutrah は Hat の subclass では %n |
| (subclass Kufiyyah Hat) | ArabicCulture.kif 356-356 | Kufiyyah は Hat の subclass では %n |
| (subclass Shimagh Hat) | ArabicCulture.kif 392-392 | Shimagh は Hat の subclass では %n |
| (subclass Tagiyyah Hat) | ArabicCulture.kif 363-363 | Tagiyyah は Hat の subclass では %n |
| (termFormat ChineseLanguage Hat "帽子") | domainEnglishFormat.kif 27604-27604 | Tagiyyah は Hat の subclass では %n |
| (termFormat ChineseTraditionalLanguage Hat "帽子") | domainEnglishFormat.kif 27603-27603 | Tagiyyah は Hat の subclass では %n |
| (termFormat EnglishLanguage Hat "hat") | domainEnglishFormat.kif 27602-27602 | Tagiyyah は Hat の subclass では %n |
| 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 6113-6121 |
|
|
|