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


KB Term:  Term intersection
English Word: 

  PaintedPicture

 Sigma KEE - PaintedPicture
PaintedPicture(painted picture)cityscape, distemper, painting, pentimento, picture, tanka

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


(subclass PaintedPicture ArtWork) Mid-level-ontology.kif 3703-3703 Painted picture is a subclass of art work
(documentation PaintedPicture EnglishLanguage "Any ArtWork which is produced by Painting.") Mid-level-ontology.kif 3704-3704 Painted picture is a subclass of art work

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


(subclass WatercolorPicture PaintedPicture) Mid-level-ontology.kif 3715-3715 Watercolor picture is a subclass of painted picture
(subclass Portrait PaintedPicture) Mid-level-ontology.kif 3754-3754 Portrait is a subclass of painted picture
(subclass OilPicture PaintedPicture) Mid-level-ontology.kif 3838-3838 Oil picture is a subclass of painted picture
(termFormat EnglishLanguage PaintedPicture "painted picture") domainEnglishFormat.kif 44021-44021 Oil picture is a subclass of painted picture
(termFormat ChineseTraditionalLanguage PaintedPicture "畫的圖片") domainEnglishFormat.kif 44022-44022 Oil picture is a subclass of painted picture
(termFormat ChineseLanguage PaintedPicture "画的图片") domainEnglishFormat.kif 44023-44023 Oil picture is a subclass of painted picture

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


(=>
    (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

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


(=>
    (instance ?F PictureFrame)
    (hasPurpose ?F
        (exists (?P)
            (and
                (meetsSpatially ?F ?P)
                (or
                    (instance ?P PaintedPicture)
                    (instance ?P Photograph))))))		 Mid-level-ontology.kif 1831-1839 If X is an instance of picture frame, then X has the purpose there exists Y such that X meets Y and Y is an instance of painted picture or Y is an instance of photograph
(=>
    (instance ?PAINT ArtPainting)
    (exists (?PICTURE)
        (and
            (instance ?PICTURE PaintedPicture)
            (result ?PAINT ?PICTURE))))		 Mid-level-ontology.kif 3857-3862 If X is an instance of art painting, then there exists Y such that Y is an instance of painted picture and Y is a result of X


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