Sketch - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Sketch ArtWork)	Mid-level-ontology.kif 3617-3617	Sketch is a subclass of art work
(documentation Sketch EnglishLanguage "Any ArtWork which is produced by a pencil or piece of charcoal.")	Mid-level-ontology.kif 3618-3619	Sketch is a subclass of art work

appearance as argument number 2

(termFormat EnglishLanguage Sketch "sketch")	domainEnglishFormat.kif 53301-53301
(termFormat ChineseTraditionalLanguage Sketch "草圖")	domainEnglishFormat.kif 53302-53302
(termFormat ChineseLanguage Sketch "草图")	domainEnglishFormat.kif 53303-53303

consequent

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