Coat![]() | ![]() |
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 5637-5638 | |
(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 5636-5636 |
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 5587-5594 | |
(=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat))))) |
Mid-level-ontology.kif 5759-5766 |
![]() |
![]() |