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 5257-5258 | |
(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 5259-5259 | |
(subclass Shirt Clothing) | Mid-level-ontology.kif 5256-5256 |
appearance as argument number 2 |
(termFormat ChineseLanguage Shirt "衬衫") | domainEnglishFormat.kif 52731-52731 | |
(termFormat ChineseTraditionalLanguage Shirt "襯衫") | domainEnglishFormat.kif 52730-52730 | |
(termFormat EnglishLanguage Shirt "shirt") | domainEnglishFormat.kif 52729-52729 |
antecedent |
(=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 5261-5265 |
consequent |
(=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 5110-5117 | |
(=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5336-5343 | |
(=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5282-5289 |