ArtSchool - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArtSchool School)	Mid-level-ontology.kif 18376-18376	Art school is a subclass of school
(documentation ArtSchool EnglishLanguage "Any School whose aim is to teach students how to create ArtWorks.")	Mid-level-ontology.kif 18377-18378	Art school is a subclass of school
(externalImage ArtSchool "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Bashkirtseff_-_In_the_Studio.jpg")	pictureList.kif 5866-5866	Art school is a subclass of school

appearance as argument number 2

(termFormat EnglishLanguage ArtSchool "art school")	domainEnglishFormat.kif 8560-8560
(termFormat ChineseTraditionalLanguage ArtSchool "藝術學校")	domainEnglishFormat.kif 8561-8561
(termFormat ChineseLanguage ArtSchool "艺术学校")	domainEnglishFormat.kif 8562-8562

antecedent

(=>
    (and
        (instance ?AS ArtSchool)
        (instance ?P EducationalProcess)
        (eventLocated ?P ?AS))
    (exists (?M ?ART)
        (and
            (instance ?M Making)
            (patient ?M ?ART)
            (instance ?ART ArtWork)
            (refers ?P ?M))))

If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z