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 3242-3243
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3240-3240 Art painting is a subclass of content development
(subclass ArtPainting Painting) Mid-level-ontology.kif 3241-3241 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


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


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

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