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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Paint

appearance as argument number 1

(documentation Paint EnglishLanguage "A Colloid which is capable of Coloring something.") Mid-level-ontology.kif 3199-3199
(externalImage Paint " supplies/ supplies_2/ paint.png") pictureList.kif 645-645
(subclass Paint SolMixture) Mid-level-ontology.kif 3198-3198 Paint est une sous-classe de SolMixture

appearance as argument number 2

(subclass OilPaint Paint) Mid-level-ontology.kif 3215-3215 OilPaint est une sous-classe de Paint
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3205-3205 WatercolorPaint est une sous-classe de Paint
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 44004-44004
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 44003-44003
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 44002-44002


    (instance ?PAINT Paint)
    (capability Coloring instrument ?PAINT))
Mid-level-ontology.kif 3201-3203


        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3188-3196
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3099-3106

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