| 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 5252-5253 | |
| (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 5254-5254 | Shirt è una sottoclasse di CoveringFn Torso |
| (subclass Shirt Clothing) | Mid-level-ontology.kif 5251-5251 | Shirt è una sottoclasse di Vestito |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shirt "衬衫") | domainEnglishFormat.kif 52733-52733 | |
| (termFormat ChineseTraditionalLanguage Shirt "襯衫") | domainEnglishFormat.kif 52732-52732 | |
| (termFormat EnglishLanguage Shirt "shirt") | domainEnglishFormat.kif 52731-52731 |
| antecedent |
|
|
| (=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 5256-5260 |
|
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 5105-5112 | |
| (=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5331-5338 | |
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5277-5284 |
|
|
|