Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Shirt Clothing) | Mid-level-ontology.kif 6352-6352 | Shirt is a subclass of clothing |
| (documentation Shirt EnglishLanguage "An item of Clothing which covers the upper body of a Human.") | Mid-level-ontology.kif 6353-6354 | Shirt is a subclass of clothing |
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 6355-6355 | Shirt is a subclass of a covering for torso |
| (externalImage Shirt "http://upload.wikimedia.org/wikipedia/commons/4/47/ Shirt.jpg") | pictureList.kif 168-168 | Shirt is a subclass of a covering for torso |
| (externalImage Shirt "http://articulatesoftware.com/SUMOpictures/clothes/ shirt/ shirt.png") | pictureList.kif 727-727 | Shirt is a subclass of a covering for torso |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 6357-6361 | If X is an instance of shirt and Y wears X, then Y is an instance of human |
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 6206-6213 | If X is an instance of collar, then there exists Y such that X is a part of Y and Y is an instance of coat or Y is an instance of shirt |
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 6378-6385 | If X is an instance of sleeve, then there exists Y such that X is a part of Y and Y is an instance of shirt or Y is an instance of coat |
| (=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 6456-6463 | If X is an instance of pajamas, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y is an instance of shirt, and Z is an instance of trousers |
|