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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Painting
Painting(painting)
finger-paint, glaze, paint, painting

VerbNet: butter-9.9|glaze, scribble-25.2|paint,


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 3726-3728
(externalImage Painting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ painting.png") pictureList.kif 646-646
(subclass Painting Coloring) Mid-level-ontology.kif 3725-3725 Painting is a subclass of coloring
(subclass Painting Covering) Mid-level-ontology.kif 3724-3724 Painting is a subclass of covering

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


(subclass ArtPainting Painting) Mid-level-ontology.kif 3783-3783 Art painting is a subclass of painting
(termFormat ChineseLanguage Painting "绘画") domainEnglishFormat.kif 43933-43933
(termFormat ChineseTraditionalLanguage Painting "繪畫") domainEnglishFormat.kif 43932-43932
(termFormat EnglishLanguage Painting "painting") domainEnglishFormat.kif 43931-43931

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


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

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


(=>
    (instance ?P OilPicture)
    (exists (?O ?PAINTING)
        (and
            (instance ?O OilPaint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?O)
            (result ?PAINTING ?P))))
Mid-level-ontology.kif 3773-3780
(=>
    (instance ?PD PaintingDevice)
    (exists (?PAINT)
        (and
            (instance ?PAINT Painting)
            (capability ?PAINT instrument ?PD))))
Mid-level-ontology.kif 3797-3802
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3642-3649
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))
Mid-level-ontology.kif 3655-3662


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners