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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 3627-3629
(externalImage Painting "http://articulatesoftware.com/SUMOpictures/working/ painting.png") pictureList.kif 646-646
(subclass Painting Coloring) Mid-level-ontology.kif 3626-3626 Painting est une sous-classe de colorer
(subclass Painting Covering) Mid-level-ontology.kif 3625-3625 Painting est une sous-classe de couvrir

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


(subclass ArtPainting Painting) Mid-level-ontology.kif 3684-3684 ArtPainting est une sous-classe de Painting
(termFormat ChineseLanguage Painting "绘画") domainEnglishFormat.kif 44042-44042 ArtPainting est une sous-classe de Painting
(termFormat ChineseTraditionalLanguage Painting "繪畫") domainEnglishFormat.kif 44041-44041 ArtPainting est une sous-classe de Painting
(termFormat EnglishLanguage Painting "painting") domainEnglishFormat.kif 44040-44040 ArtPainting est une sous-classe de 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 3631-3639

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


(=>
    (instance ?P OilPicture)
    (exists (?O ?PAINTING)
        (and
            (instance ?O OilPaint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?O)
            (result ?PAINTING ?P))))
Mid-level-ontology.kif 3674-3681
(=>
    (instance ?PD PaintingDevice)
    (capability Painting instrument ?PD))
Mid-level-ontology.kif 3701-3703
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3542-3549
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))
Mid-level-ontology.kif 3555-3562


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 is open source software produced by Articulate Software and its partners