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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtStudio
ArtStudio(art studio)
studio

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


(documentation ArtStudio EnglishLanguage "A Workshop, which is devoted to the creation of ArtWorks.") Mid-level-ontology.kif 6390-6391
(externalImage ArtStudio "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Evstafiev-Sculptor_Jean_Freur_studio.jpg") pictureList.kif 4512-4512
(subclass ArtStudio Workshop) Mid-level-ontology.kif 6389-6389 Art studio is a subclass of workshop

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


(termFormat ChineseLanguage ArtStudio "艺术工作室") domainEnglishFormat.kif 8581-8581
(termFormat ChineseTraditionalLanguage ArtStudio "藝術工作室") domainEnglishFormat.kif 8580-8580
(termFormat EnglishLanguage ArtStudio "art studio") domainEnglishFormat.kif 8579-8579

antecedent
-------------------------


(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 6393-6400


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



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