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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paint
Paint

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


(documentation Paint EnglishLanguage "A Colloid which is capable of Coloring something.") Mid-level-ontology.kif 3661-3661
(externalImage Paint "http://articulatesoftware.com/SUMOpictures/education/ supplies/ supplies_2/ paint.png") pictureList.kif 645-645
(subclass Paint SolMixture) Mid-level-ontology.kif 3660-3660

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


(subclass OilPaint Paint) Mid-level-ontology.kif 3677-3677
(subclass WatercolorPaint Paint) Mid-level-ontology.kif 3667-3667
(termFormat ChineseLanguage Paint "涂料") domainEnglishFormat.kif 44035-44035
(termFormat ChineseTraditionalLanguage Paint "塗料") domainEnglishFormat.kif 44034-44034
(termFormat EnglishLanguage Paint "paint") domainEnglishFormat.kif 44033-44033

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


(=>
    (instance ?PAINT Paint)
    (capability Coloring instrument ?PAINT))
Mid-level-ontology.kif 3663-3665

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


(=>
    (and
        (instance ?PAINT Painting)
        (patient ?PAINT ?SURFACE)
        (resource ?PAINT ?STUFF))
    (exists (?OBJ)
        (and
            (surface ?SURFACE ?OBJ)
            (instance ?STUFF Paint))))
Mid-level-ontology.kif 3650-3658
(=>
    (instance ?PP PaintedPicture)
    (exists (?PAINT ?PAINTING)
        (and
            (instance ?PAINT Paint)
            (instance ?PAINTING Painting)
            (resource ?PAINTING ?PAINT)
            (result ?PAINTING ?PP))))
Mid-level-ontology.kif 3561-3568


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