TreeView Knowledge Base Browser - Shirt

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shirt

Shirt(shirt)

T-shirt, blouse, bustier, camise, daishiki, dashiki, dress_shirt, evening_shirt, hair_shirt, halter, jersey, kurta, middy, middy_blouse, polo_shirt, shirt, shirtwaist, shirtwaister, singlet, sport_shirt, tank_top, tee_shirt, top, undershirt, vest, work-shirt

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5258-5259
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 727-727
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 168-168
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5260-5260	Shirt is a subclass of a covering for torso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5257-5257	Shirt is a subclass of clothing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52731-52731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52730-52730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52729-52729

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 5262-5266

If a wearable item is an instance of shirt and an animal wears the wearable item,
then the animal is an instance of human

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5111-5118	If an object is an instance of collar, then there exists another object such that the object is a part of the other object and the other object is an instance of coat or the other object is an instance of shirt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5337-5344	If an object is an instance of pajamas, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of shirt and the third object is an instance of trousers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5283-5290	If an object is an instance of sleeve, then there exists another object such that the object is a part of the other object and the other object is an instance of shirt or the other object is an instance of coat

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