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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtPainting
ArtPainting(art painting)paint

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


(documentation ArtPainting EnglishLanguage "Any ContentDevelopment that results in a PaintedPicture.") Mid-level-ontology.kif 3235-3236
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3233-3233 Art painting is a subclass of content development
(subclass ArtPainting Painting) Mid-level-ontology.kif 3234-3234 Art painting is a subclass of 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 3238-3243

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