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 3242-3243
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3240-3240 ArtPainting est une sous-classe de d�veloppement de contenu
(subclass ArtPainting Painting) Mid-level-ontology.kif 3241-3241 ArtPainting est une sous-classe de Painting

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


(termFormat ChineseLanguage ArtPainting "艺术绘画") domainEnglishFormat.kif 8556-8556
(termFormat ChineseTraditionalLanguage ArtPainting "藝術繪畫") domainEnglishFormat.kif 8555-8555
(termFormat EnglishLanguage ArtPainting "art painting") domainEnglishFormat.kif 8554-8554

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


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

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


(=>
    (attribute ?PERSON Painter)
    (hasSkill ArtPainting ?PERSON))
Biography.kif 694-696


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