WatercolorPaint - Sigma Knowledge base Browser

appearance as argument number 1

(subclass WatercolorPaint Paint)	Mid-level-ontology.kif 3812-3812	Watercolor paint is a subclass of paint
(documentation WatercolorPaint EnglishLanguage "Any Paint which is a water-based Solution.")	Mid-level-ontology.kif 3813-3813	Watercolor paint is a subclass of paint
(externalImage WatercolorPaint "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ Watercolours.jpg")	pictureList.kif 3032-3032	Watercolor paint is a subclass of paint

appearance as argument number 2

(disjoint OilPaint WatercolorPaint)	Mid-level-ontology.kif 3828-3828	Oil paint is disjoint from watercolor paint
(termFormat EnglishLanguage WatercolorPaint "watercolor paint")	domainEnglishFormat.kif 62374-62374	Oil paint is disjoint from watercolor paint
(termFormat ChineseTraditionalLanguage WatercolorPaint "水彩顏料")	domainEnglishFormat.kif 62375-62375	Oil paint is disjoint from watercolor paint
(termFormat ChineseLanguage WatercolorPaint "水彩颜料")	domainEnglishFormat.kif 62376-62376	Oil paint is disjoint from watercolor paint

antecedent

(=>
    (instance ?P WatercolorPaint)
    (exists (?W)
        (and
            (instance ?W FreshWater)
            (part ?W ?P))))

If X is an instance of watercolor paint, then there exists Y such that Y is an instance of freshwater and Y is a part of X

consequent

(=>
    (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