ArtMakingClass - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArtMakingClass EducationalProcess)

antecedent

(=>
    (instance ?CLASS ArtMakingClass)
    (exists (?PROC ?ART)
        (and
            (instance ?PROC Making)
            (patient ?PROC ?ART)
            (instance ?ART ArtWork)
            (subProcess ?PROC ?CLASS))))

If X is an instance of ArtMakingClass, then there exist Y, Z such that Y is an instance of making, Z is a patient of Y, Z is an instance of art work, and Y is a subprocess of X