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 3177-3179
(externalImage Painting "http://articulatesoftware.com/SUMOpictures/working/ painting.png") pictureList.kif 646-646
(subclass Painting Coloring) Mid-level-ontology.kif 3176-3176
(subclass Painting Covering) Mid-level-ontology.kif 3175-3175

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


(subclass ArtPainting Painting) Mid-level-ontology.kif 3234-3234
(termFormat ChineseLanguage Painting "绘画") domainEnglishFormat.kif 44042-44042
(termFormat ChineseTraditionalLanguage Painting "繪畫") domainEnglishFormat.kif 44041-44041
(termFormat EnglishLanguage Painting "painting") domainEnglishFormat.kif 44040-44040

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


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

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


(=>
    (instance ?P OilPicture)
    (exists (?O ?PAINTING)
        (and
            (instance ?O OilPaint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?O)
            (result ?PAINTING ?P))))
Mid-level-ontology.kif 3224-3231
(=>
    (instance ?PD PaintingDevice)
    (capability Painting instrument ?PD))
Mid-level-ontology.kif 3251-3253
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3092-3099
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))
Mid-level-ontology.kif 3105-3112


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