| 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 4984-4985 | |
| (externalImage Shirt "http://upload.wikimedia.org/wikipedia/commons/4/47/ Shirt.jpg") | pictureList.kif 168-168 | |
| (externalImage Shirt "http://www.adampease.org/Articulate/SUMOpictures/pictures/ clothes/ shirt/ shirt.png") | pictureList.kif 727-727 | |
| (subclass Shirt (CoveringFn Torso)) |
Mid-level-ontology.kif 4986-4986 | |
| (subclass Shirt Clothing) | Mid-level-ontology.kif 4983-4983 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shirt "衬衫") | domainEnglishFormat.kif 52714-52714 | |
| (termFormat ChineseTraditionalLanguage Shirt "襯衫") | domainEnglishFormat.kif 52713-52713 | |
| (termFormat EnglishLanguage Shirt "shirt") | domainEnglishFormat.kif 52712-52712 |
| antecedent |
|
|
| (=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 4988-4992 |
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 4837-4844 | |
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5009-5016 |
|
|
|