Painting - Sigma Knowledge base Browser

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

If a process is an instance of painting and a self connected object is a patient of the process and an object is a resource for the process,
then there exists another self connected object such that the self connected object is a surface of the other self connected object and the object is an instance of paint

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	If an entity is an instance of oil picture, then there exist an object and the entityAINTING such that the object is an instance of oil paint and the entityAINTING is an instance of painting and the object is a resource for the entityAINTING and the entity is a result of the entityAINTING
(=> (instance ?PD PaintingDevice) (exists (?PAINT) (and (instance ?PAINT Painting) (capability ?PAINT instrument ?PD))))	Mid-level-ontology.kif 3797-3802	If an object is an instance of painting device, then there exists a kind of process such that a kind of process is an instance of painting and the object is capable of doing the kind of process as a instrument
(=> (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	If an entity is an instance of painted picture, then there exist an object and the objectING such that the object is an instance of paint and the objectING is an instance of painting and the object is a resource for the objectING and the entity is a result of the objectING
(=> (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	If an entity is an instance of watercolor picture, then there exist the entityP and a process such that the entityP is an instance of watercolor paint and the process is an instance of painting and the entityP is a resource for the process and the entity is a result of the process

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

KB Term:			Term intersection

English Word: