more pictures...
| Sleeve(sleeve)
more pictures... | | arm, dolman_sleeve, long_sleeve, raglan_sleeve, shirtsleeve, short_sleeve, sleeve |
| appearance as argument number 1 |
|
|
| (documentation Sleeve EnglishLanguage "A piece of Clothing that covers the Arm. A Sleeve is always part of a Coat or a Shirt.") | Mid-level-ontology.kif 5818-5819 | |
| (externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Puffed_sleeves.jpg") | pictureList.kif 7880-7880 | |
| (externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Bishops_sleeve.jpg") | pictureList.kif 7879-7879 | |
| (externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/a/ad/ Basic_sleeve.jpg") | pictureList.kif 7878-7878 | |
| (externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/e5/ Jan_van_Eyck_001_sleeve.jpg") | pictureList.kif 6863-6863 | |
| (externalImage Sleeve "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Straight_sleeve.jpg") | pictureList.kif 7877-7877 | |
| (subclass Sleeve (CoveringFn Arm)) |
Mid-level-ontology.kif 5820-5820 | Sleeve is a subclass of a covering for arm |
| (subclass Sleeve Clothing) | Mid-level-ontology.kif 5817-5817 | Sleeve is a subclass of clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sleeve "袖") | domainEnglishFormat.kif 53417-53417 | |
| (termFormat ChineseTraditionalLanguage Sleeve "袖") | domainEnglishFormat.kif 53416-53416 | |
| (termFormat EnglishLanguage Sleeve "sleeve") | domainEnglishFormat.kif 53415-53415 |
| antecedent |
|
|
| (=> (and (wears ?P ?S) (instance ?S Sleeve)) (exists (?A) (and (instance ?A Arm) (part ?A ?P) (contains ?S ?A)))) |
Mid-level-ontology.kif 5822-5830 |
|
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5832-5839 |
|
|
|
|