Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shirt

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 5252-5253
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 5254-5254 Shirt is a subclass of a covering for torso
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5251-5251 Shirt is a subclass of clothing

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5256-5260

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5105-5112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5331-5338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5277-5284


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