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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5146-5147
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 491-491
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 110-110
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5148-5148	Hat is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5145-5145	Hat is a subclass of clothing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 371-371	Gutrah is a subclass of hat
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 356-356	Kufiyyah is a subclass of hat
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 392-392	Shimagh is a subclass of hat
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 363-363	Tagiyyah is a subclass of hat
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27576-27576
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27575-27575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27574-27574

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5150-5158	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