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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Painting
Painting

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


(documentation Painting EnglishLanguage "The application of Paint to a surface. Note that this class covers both ArtPainting (the creation of PaintedPictures), as well as painting one's kitchen, for example.") Mid-level-ontology.kif 3184-3186
(externalImage Painting "http://articulatesoftware.com/SUMOpictures/working/ painting.png") pictureList.kif 646-646
(subclass Painting Coloring) Mid-level-ontology.kif 3183-3183
(subclass Painting Covering) Mid-level-ontology.kif 3182-3182

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


(subclass ArtPainting Painting) Mid-level-ontology.kif 3241-3241
(termFormat ChineseLanguage Painting "绘画") domainEnglishFormat.kif 44040-44040
(termFormat ChineseTraditionalLanguage Painting "繪畫") domainEnglishFormat.kif 44039-44039
(termFormat EnglishLanguage Painting "painting") domainEnglishFormat.kif 44038-44038

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3188-3196

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


(=>
    (instance ?P OilPicture)
    (exists (?O ?PAINTING)
        (and
            (instance ?O OilPaint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?O)
            (result ?PAINTING ?P))))
Mid-level-ontology.kif 3231-3238
(=>
    (instance ?PD PaintingDevice)
    (capability Painting instrument ?PD))
Mid-level-ontology.kif 3258-3260
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3099-3106
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))
Mid-level-ontology.kif 3112-3119


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