Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Hat Clothing) | Mid-level-ontology.kif 6240-6240 | Hat is a subclass of clothing |
| (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 6241-6242 | Hat is a subclass of clothing |
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 6243-6243 | Hat is a subclass of a covering for head |
| (externalImage Hat "http://upload.wikimedia.org/wikipedia/commons/9/97/Chapeauclaque.jpg") | pictureList.kif 110-110 | Hat is a subclass of a covering for head |
| (externalImage Hat "http://articulatesoftware.com/SUMOpictures/holiday/stPats/ hat/ Hat_4.png") | pictureList.kif 491-491 | Hat is a subclass of a covering for head |
| appearance as argument number 2 |
|
|
| (subclass Kufiyyah Hat) | ArabicCulture.kif 356-356 | Kufiyyah is a subclass of hat |
| (subclass Tagiyyah Hat) | ArabicCulture.kif 363-363 | Tagiyyah is a subclass of hat |
| (subclass Gutrah Hat) | ArabicCulture.kif 371-371 | Gutrah is a subclass of hat |
| (subclass Shimagh Hat) | ArabicCulture.kif 392-392 | Shimagh is a subclass of hat |
| (termFormat EnglishLanguage Hat "hat") | domainEnglishFormat.kif 27578-27578 | Shimagh is a subclass of hat |
| (termFormat ChineseTraditionalLanguage Hat "帽子") | domainEnglishFormat.kif 27579-27579 | Shimagh is a subclass of hat |
| (termFormat ChineseLanguage Hat "帽子") | domainEnglishFormat.kif 27580-27580 | Shimagh is a subclass of hat |
| antecedent |
|
|
| (=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 6245-6253 | If X wears Y and Y is an instance of hat, then there exists Z such that Z is an instance of head, Z is a part of X, and Y meets Z |
| (=> (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 419-430 | If X is an instance of dressing, Y is an instance of oqal, Z is an instance of hat, Y is a patient of X, and Z is a patient of X, then Y has the purpose there exists W such that W is an instance of attaching and Y is an instrument for W |
|