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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtStudio

Sigma KEE - ArtStudio
ArtStudio

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


(documentation ArtStudio EnglishLanguage "A Workshop, which is devoted to the creation of ArtWorks.") Mid-level-ontology.kif 6730-6731
(externalImage ArtStudio "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Evstafiev-Sculptor_Jean_Freur_studio.jpg") pictureList.kif 4511-4511
(subclass ArtStudio Workshop) Mid-level-ontology.kif 6729-6729 ArtStudio est une sous-classe de Workshop

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


(termFormat ChineseLanguage ArtStudio "艺术工作室") domainEnglishFormat.kif 8574-8574
(termFormat ChineseTraditionalLanguage ArtStudio "藝術工作室") domainEnglishFormat.kif 8573-8573
(termFormat EnglishLanguage ArtStudio "art studio") domainEnglishFormat.kif 8572-8572

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


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


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 3.0 is open source software produced by Articulate Software and its partners