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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtStudio
ArtStudio(art studio)
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 6389-6390
(externalImage ArtStudio "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Evstafiev-Sculptor_Jean_Freur_studio.jpg") pictureList.kif 4512-4512 "http://upload.wikimedia.org/wikipedia/commons/1/12/ Evstafiev-Sculptor_Jean_Freur_studio.jpg" is a URL depicting art studio
(subclass ArtStudio Workshop) Mid-level-ontology.kif 6388-6388 Art studio is a subclass of workshop

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


(termFormat EnglishLanguage ArtStudio "art studio") domainEnglishFormat.kif 1863-1863 "art studio" is the printable form of art studio in english language

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


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


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