WatercolorPicture - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WatercolorPicture PaintedPicture)	Mid-level-ontology.kif 3715-3715	Watercolor picture is a subclass of painted picture
(documentation WatercolorPicture EnglishLanguage "Any PaintedPicture which is created with water-based paints.")	Mid-level-ontology.kif 3716-3717	Watercolor picture is a subclass of painted picture
(externalImage WatercolorPicture "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 47/ Joseph_Mallord_William_Turner_017.jpg")	pictureList.kif 4850-4850	Watercolor picture is a subclass of painted picture

appearance as argument number 2

(disjoint OilPicture WatercolorPicture)	Mid-level-ontology.kif 3839-3839	Oil picture is disjoint from watercolor picture
(termFormat EnglishLanguage WatercolorPicture "watercolor picture")	domainEnglishFormat.kif 62380-62380	Oil picture is disjoint from watercolor picture
(termFormat ChineseTraditionalLanguage WatercolorPicture "水彩圖片")	domainEnglishFormat.kif 62381-62381	Oil picture is disjoint from watercolor picture
(termFormat ChineseLanguage WatercolorPicture "水彩图片")	domainEnglishFormat.kif 62382-62382	Oil picture is disjoint from watercolor picture

antecedent

(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))

If X is an instance of watercolor picture, then there exist Y, Z such that Y is an instance of watercolor paint, Z is an instance of painting, Y is a resource for Z, and X is a result of Z