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 6195-6196 | |
(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 6197-6197 | |
(subclass Shirt Clothing) | Mid-level-ontology.kif 6194-6194 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Shirt "衬衫") | domainEnglishFormat.kif 52735-52735 | |
(termFormat ChineseTraditionalLanguage Shirt "襯衫") | domainEnglishFormat.kif 52734-52734 | |
(termFormat EnglishLanguage Shirt "shirt") | domainEnglishFormat.kif 52733-52733 |
antecedent |
![]() |
(=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 6199-6203 |
consequent |
![]() |
(=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 6048-6055 | |
(=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers)))) |
Mid-level-ontology.kif 6274-6281 | |
(=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 6220-6227 |
![]() |
![]() |