Workshop - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Workshop StationaryArtifact)	Mid-level-ontology.kif 8170-8170	Workshop is a subclass of stationary artifact
(documentation Workshop EnglishLanguage "A Room, suite of Rooms or Building which is devoted to hand-crafting Artifacts.")	Mid-level-ontology.kif 8171-8172	Workshop is a subclass of stationary artifact

appearance as argument number 2

(subclass ArtStudio Workshop)	Mid-level-ontology.kif 7817-7817	Art studio is a subclass of workshop
(termFormat EnglishLanguage Workshop "workshop")	domainEnglishFormat.kif 63472-63472	Art studio is a subclass of workshop
(termFormat ChineseTraditionalLanguage Workshop "作坊")	domainEnglishFormat.kif 63473-63473	Art studio is a subclass of workshop
(termFormat ChineseLanguage Workshop "作坊")	domainEnglishFormat.kif 63474-63474	Art studio is a subclass of workshop

antecedent

(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))

If X is an instance of workshop, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, and Z is an instance of artifact