Drawing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Drawing ContentDevelopment)	Mid-level-ontology.kif 3792-3792	Drawing is a subclass of content development
(subclass Drawing SurfaceChange)	Mid-level-ontology.kif 3793-3793	Drawing is a subclass of surface change
(documentation Drawing EnglishLanguage "Any ContentDevelopment that results in a Sketch.")	Mid-level-ontology.kif 3794-3794	Drawing is a subclass of surface change
(externalImage Drawing "http://upload.wikimedia.org/wikipedia/commons/3/ 3e/ Caj8073e.jpg")	pictureList.kif 2799-2799	Drawing is a subclass of surface change
(externalImage Drawing "http://upload.wikimedia.org/wikipedia/commons/0/ 03/ Flaming_Gorge_Resevoir.JPG")	pictureList.kif 3071-3071	Drawing is a subclass of surface change

appearance as argument number 2

(termFormat EnglishLanguage Drawing "drawing")	domainEnglishFormat.kif 20358-20358
(termFormat ChineseTraditionalLanguage Drawing "畫畫")	domainEnglishFormat.kif 20359-20359
(termFormat ChineseLanguage Drawing "画画")	domainEnglishFormat.kif 20360-20360

antecedent

(=>
    (instance ?DRAW Drawing)
    (exists (?SKETCH)
        (and
            (instance ?SKETCH Sketch)
            (result ?DRAW ?SKETCH))))

If X is an instance of drawing, then there exists Y such that Y is an instance of sketch and Y is a result of X

consequent

(=>
(attribute ?PERSON Draftsman)
(hasSkill Drawing ?PERSON))

If draftsman is an attribute of X, then X has the skill to do drawing