TreeView Knowledge Base Browser - Hat

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Hat

Sigma KEE - Hat

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 4868-4869
(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 (CoveringFn Head))	Mid-level-ontology.kif 4870-4870	Hat is a subclass of a covering for head
(subclass Hat Clothing)	Mid-level-ontology.kif 4867-4867	Hat is a subclass of clothing

appearance as argument number 2

(subclass Gutrah Hat)	ArabicCulture.kif 360-360	Gutrah is a subclass of hat
(subclass Kufiyyah Hat)	ArabicCulture.kif 345-345	Kufiyyah is a subclass of hat
(subclass Shimagh Hat)	ArabicCulture.kif 380-380	Shimagh is a subclass of hat
(subclass Tagiyyah Hat)	ArabicCulture.kif 352-352	Tagiyyah is a subclass of hat
(termFormat ChineseLanguage Hat "帽子")	domainEnglishFormat.kif 27567-27567
(termFormat ChineseTraditionalLanguage Hat "帽子")	domainEnglishFormat.kif 27566-27566
(termFormat EnglishLanguage Hat "hat")	domainEnglishFormat.kif 27565-27565

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	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has the purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 4872-4880	If an animal wears a wearable item and the wearable item is an instance of hat, then there exists an object such that the object is an instance of head and the object is a part of the animal and the wearable item meets the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners