| 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 5140-5141 | |
| (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 5142-5142 | Hat is a subclass of a covering for head |
| (subclass Hat Clothing) | Mid-level-ontology.kif 5139-5139 | 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 27610-27610 | Tagiyyah is a subclass of hat |
| (termFormat ChineseTraditionalLanguage Hat "帽子") | domainEnglishFormat.kif 27609-27609 | Tagiyyah is a subclass of hat |
| (termFormat EnglishLanguage Hat "hat") | domainEnglishFormat.kif 27608-27608 | Tagiyyah is a subclass of hat |
| 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 5144-5152 |
|
|
|
|