| Paint(paint)
| | antifouling_paint, blackwash, distemper, finger_paint, fingerpaint, finish_coat, finishing_coat, flat_coat, gel, gelatin, ground, house_paint, housepaint, paint, pigment, poster_color, poster_colour, poster_paint, primer, primer_coat, priming, priming_coat, spray_paint, tempera, undercoat, wash |
| appearance as argument number 1 |
|
|
| (subclass Paint SolMixture) | Mid-level-ontology.kif 3658-3658 | Paint is a subclass of sol mixture |
| (documentation Paint EnglishLanguage "A Colloid which is capable of Coloring something.") | Mid-level-ontology.kif 3659-3659 | Paint is a subclass of sol mixture |
| (externalImage Paint "http://articulatesoftware.com/SUMOpictures/education/ supplies/ supplies_2/ paint.png") | pictureList.kif 645-645 | Paint is a subclass of sol mixture |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PAINT Paint) (capability Coloring instrument ?PAINT)) |
Mid-level-ontology.kif 3661-3663 | If X is an instance of paint, then X is capable of doing coloring as a instrument |
| consequent |
|
|
| (=> (instance ?PP PaintedPicture) (exists (?PAINT ?PAINTING) (and (instance ?PAINT Paint) (instance ?PAINTING Painting) (resource ?PAINTING ?PAINT) (result ?PAINTING ?PP)))) |
Mid-level-ontology.kif 3559-3566 | 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 |
| (=> (and (instance ?PAINT Painting) (patient ?PAINT ?SURFACE) (resource ?PAINT ?STUFF)) (exists (?OBJ) (and (surface ?SURFACE ?OBJ) (instance ?STUFF Paint)))) |
Mid-level-ontology.kif 3648-3656 | If X is an instance of painting, Y is a patient of X, and Z is a resource for X, then there exists W such that Y is a surface of W and Z is an instance of paint |
|
|
|