| Shirt
| |
| appearance as argument number 1 |
|
|
| (documentation Shirt EnglishLanguage "An item of Clothing which covers the upper body of a Human.") | Mid-level-ontology.kif 5285-5286 | |
| (externalImage Shirt "http://articulatesoftware.com/SUMOpictures/clothes/ shirt/ shirt.png") | pictureList.kif 727-727 | |
| (externalImage Shirt "http://upload.wikimedia.org/wikipedia/commons/4/47/ Shirt.jpg") | pictureList.kif 168-168 | |
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 5287-5287 | |
| (subclass Shirt Clothing) | Mid-level-ontology.kif 5284-5284 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shirt "衬衫") | domainEnglishFormat.kif 52761-52761 | |
| (termFormat ChineseTraditionalLanguage Shirt "襯衫") | domainEnglishFormat.kif 52760-52760 | |
| (termFormat EnglishLanguage Shirt "shirt") | domainEnglishFormat.kif 52759-52759 |
| antecedent |
|
|
| (=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 5289-5293 |
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 5138-5145 | |
| (=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5364-5371 | |
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5310-5317 |
|
|
|