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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtCritic
ArtCritic

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


(documentation ArtCritic EnglishLanguage "The Profession of reporting and critiquing current ArtWorks.") Mid-level-ontology.kif 21083-21084
(externalImage ArtCritic "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Charles_Baudelaire2.jpg") pictureList.kif 10431-10431
(externalImage ArtCritic "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Signac.jpg") pictureList.kif 10432-10432
(subAttribute ArtCritic Journalist) Mid-level-ontology.kif 21082-21082

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


(termFormat ChineseLanguage ArtCritic "艺术评论家") domainEnglishFormat.kif 8496-8496
(termFormat ChineseTraditionalLanguage ArtCritic "藝術評論家") domainEnglishFormat.kif 8495-8495
(termFormat EnglishLanguage ArtCritic "art critic") domainEnglishFormat.kif 8494-8494

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


(=>
    (attribute ?H ArtCritic)
    (hasPurpose ?H
        (exists (?AW ?T ?CLASS)
            (and
                (instance ?AW ArtWork)
                (overlapsTemporally
                    (WhenFn ?AW)
                    (WhenFn ?H))
                (instance ?T ?CLASS)
                (subclass ?CLASS Article)
                (authors ?H ?CLASS)
                (refers ?T ?AW)))))
Mid-level-ontology.kif 21089-21101


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