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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Painting

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 3156-3158
(externalImage Painting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ painting.png") pictureList.kif 646-646
(subclass Painting Coloring) Mid-level-ontology.kif 3155-3155
(subclass Painting Covering) Mid-level-ontology.kif 3154-3154

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


(subclass ArtPainting Painting) Mid-level-ontology.kif 3213-3213
(termFormat ChineseLanguage Painting "绘画") domainEnglishFormat.kif 44055-44055
(termFormat ChineseTraditionalLanguage Painting "繪畫") domainEnglishFormat.kif 44054-44054
(termFormat EnglishLanguage Painting "painting") domainEnglishFormat.kif 44053-44053

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


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

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


(=>
    (instance ?P OilPicture)
    (exists (?O ?PAINTING)
        (and
            (instance ?O OilPaint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?O)
            (result ?PAINTING ?P))))
Mid-level-ontology.kif 3203-3210
(=>
    (instance ?PD PaintingDevice)
    (capability Painting instrument ?PD))
Mid-level-ontology.kif 3230-3232
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3071-3078
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))
Mid-level-ontology.kif 3084-3091


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