| 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 4942-4943 | |
| (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 Clothing) | Mid-level-ontology.kif 4941-4941 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Shirt "衬衫") | domainEnglishFormat.kif 52713-52713 | |
| (termFormat ChineseTraditionalLanguage Shirt "襯衫") | domainEnglishFormat.kif 52712-52712 | |
| (termFormat EnglishLanguage Shirt "shirt") | domainEnglishFormat.kif 52711-52711 |
| antecedent |
|
|
| (=> (and (instance ?SHIRT Shirt) (wears ?PERSON ?SHIRT)) (instance ?PERSON Human)) |
Mid-level-ontology.kif 4945-4949 |
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 4800-4807 | |
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 4965-4972 |
|
|
|