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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtPainting
ArtPainting

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


(documentation ArtPainting EnglishLanguage "Any ContentDevelopment that results in a PaintedPicture.") Mid-level-ontology.kif 3207-3208
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3205-3205
(subclass ArtPainting Painting) Mid-level-ontology.kif 3206-3206

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


(termFormat ChineseLanguage ArtPainting "艺术绘画") domainEnglishFormat.kif 8560-8560
(termFormat ChineseTraditionalLanguage ArtPainting "藝術繪畫") domainEnglishFormat.kif 8559-8559
(termFormat EnglishLanguage ArtPainting "art painting") domainEnglishFormat.kif 8558-8558

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


(=>
    (instance ?PAINT ArtPainting)
    (exists (?PICTURE)
        (and
            (instance ?PICTURE PaintedPicture)
            (result ?PAINT ?PICTURE))))
Mid-level-ontology.kif 3210-3215

consequent
-------------------------


(=>
    (attribute ?PERSON Painter)
    (hasSkill ArtPainting ?PERSON))
Biography.kif 464-466


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