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 5155-5156 | |
(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 5154-5154 | 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 5105-5112 |
|
(=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5277-5284 |
|