Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

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

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


(subclass Painting Covering) Mid-level-ontology.kif 3789-3789 Painting is a subclass of covering
(subclass Painting Coloring) Mid-level-ontology.kif 3790-3790 Painting is a subclass of coloring
(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 3791-3793 Painting is a subclass of coloring
(externalImage Painting "http://articulatesoftware.com/SUMOpictures/working/ painting.png") pictureList.kif 646-646 Painting is a subclass of coloring

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


(subclass ArtPainting Painting) Mid-level-ontology.kif 3853-3853 Art painting is a subclass of painting
(termFormat EnglishLanguage Painting "painting") domainEnglishFormat.kif 44033-44033 Art painting is a subclass of painting
(termFormat ChineseTraditionalLanguage Painting "繪畫") domainEnglishFormat.kif 44034-44034 Art painting is a subclass of painting
(termFormat ChineseLanguage Painting "绘画") domainEnglishFormat.kif 44035-44035 Art painting is a subclass of painting

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))		 Mid-level-ontology.kif 3795-3803 If X is an instance of painting, Y is a patient of X, and Z is a resource for X, then there exists W such that Y is a surface of W and Z is an instance of paint

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


(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))		 Mid-level-ontology.kif 3706-3713 If X is an instance of painted picture, then there exist Y, Z such that Y is an instance of paint, Z is an instance of painting, Y is a resource for Z, and X is a result of Z
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))		 Mid-level-ontology.kif 3719-3726 If X is an instance of watercolor picture, then there exist Y, Z such that Y is an instance of watercolor paint, Z is an instance of painting, Y is a resource for Z, and X is a result of Z
(=>
    (instance ?P OilPicture)
    (exists (?O ?PAINTING)
        (and
            (instance ?O OilPaint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?O)
            (result ?PAINTING ?P))))		 Mid-level-ontology.kif 3843-3850 If X is an instance of oil picture, then there exist Y, Z such that Y is an instance of oil paint, Z is an instance of painting, Y is a resource for Z, and X is a result of Z
(=>
    (instance ?PD PaintingDevice)
    (capability Painting instrument ?PD))		 Mid-level-ontology.kif 3870-3872 If X is an instance of painting device, then X is capable of doing painting as a instrument


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners