ArtPainting - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArtPainting ContentDevelopment)	Mid-level-ontology.kif 3852-3852	Art painting is a subclass of content development
(subclass ArtPainting Painting)	Mid-level-ontology.kif 3853-3853	Art painting is a subclass of painting
(documentation ArtPainting EnglishLanguage "Any ContentDevelopment that results in a PaintedPicture.")	Mid-level-ontology.kif 3854-3855	Art painting is a subclass of painting

appearance as argument number 2

(termFormat EnglishLanguage ArtPainting "art painting")	domainEnglishFormat.kif 8554-8554
(termFormat ChineseTraditionalLanguage ArtPainting "藝術繪畫")	domainEnglishFormat.kif 8555-8555
(termFormat ChineseLanguage ArtPainting "艺术绘画")	domainEnglishFormat.kif 8556-8556

antecedent

(=>
    (instance ?PAINT ArtPainting)
    (exists (?PICTURE)
        (and
            (instance ?PICTURE PaintedPicture)
            (result ?PAINT ?PICTURE))))

If X is an instance of art painting, then there exists Y such that Y is an instance of painted picture and Y is a result of X

consequent

(=>
(attribute ?PERSON Painter)
(hasSkill ArtPainting ?PERSON))

If painter is an attribute of X, then X has the skill to do art painting