Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtSchool

Sigma KEE - ArtSchool
ArtSchool

appearance as argument number 1
-------------------------


(documentation ArtSchool EnglishLanguage "Any School whose aim is to teach students how to create ArtWorks.") Mid-level-ontology.kif 14102-14103
(externalImage ArtSchool "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Bashkirtseff_-_In_the_Studio.jpg") pictureList.kif 5868-5868
(subclass ArtSchool School) Mid-level-ontology.kif 14101-14101

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ArtSchool "art school") domainEnglishFormat.kif 1861-1861

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))))
Mid-level-ontology.kif 14104-14114


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners