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 |
|