| 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 5710-5711 | |
| (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 5709-5709 | Coat is a subclass of outdoor clothing |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coat "涂层") | domainEnglishFormat.kif 15411-15411 | |
| (termFormat ChineseTraditionalLanguage Coat "塗層") | domainEnglishFormat.kif 15410-15410 | |
| (termFormat EnglishLanguage Coat "coat") | domainEnglishFormat.kif 15409-15409 |
| consequent |
|
|
| (=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt))))) |
Mid-level-ontology.kif 5660-5667 |
|
| (=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5832-5839 |
|
|
|
|