| appearance as argument number 1 |
|
|
| (documentation Coat EnglishLanguage "Clothing that has sleeves and covers from the neck down. Coats are intended to be worn outdoors.") | Mid-level-ontology.kif 5161-5162 | |
| (externalImage Coat "http://articulatesoftware.com/SUMOpictures/clothes/ coats/ coat.png") | pictureList.kif 354-354 | |
| (externalImage Coat "http://upload.wikimedia.org/wikipedia/commons/9/9a/ Parka1.JPG") | pictureList.kif 71-71 | |
| (subclass Coat OutdoorClothing) | Mid-level-ontology.kif 5160-5160 | Coat is a subclass of outdoor clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coat "涂层") | domainEnglishFormat.kif 15396-15396 | |
| (termFormat ChineseTraditionalLanguage Coat "塗層") | domainEnglishFormat.kif 15395-15395 | |
| (termFormat EnglishLanguage Coat "coat") | domainEnglishFormat.kif 15394-15394 |
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 5111-5118 |
|
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5283-5290 |
|
|
|
|