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 5258-5259 | |
(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 5260-5260 | Shirt ist eine teilkategorie von CoveringFn Torso |
(subclass Shirt Clothing) | Mid-level-ontology.kif 5257-5257 | Shirt ist eine teilkategorie von Clothing |
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 5262-5266 |
|
consequent |
(=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 5111-5118 |
|
(=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 5337-5344 |
|
(=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5283-5290 |
|