Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OilPaint(oil paint) |  | oil, oil_color, oil_colour, oil_paint |
| appearance as argument number 1 |
|
|
| (subclass OilPaint Paint) | Mid-level-ontology.kif 3827-3827 | Oil paint is a subclass of paint |
| (disjoint OilPaint WatercolorPaint) | Mid-level-ontology.kif 3828-3828 | Oil paint is disjoint from watercolor paint |
| (documentation OilPaint EnglishLanguage "Any Paint which is an oil-based Solution.") | Mid-level-ontology.kif 3829-3829 | Oil paint is disjoint from watercolor paint |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3831-3836 | If X is an instance of oil paint, then there exists Y such that Y is an instance of oil and Y is a part of X |
| consequent |
|
|
| (=> (instance ?P OilPicture) (exists (?O ?PAINTING) (and (instance ?O OilPaint) (instance ?PAINTING Painting) (resource ?PAINTING ?O) (result ?PAINTING ?P)))) |
Mid-level-ontology.kif 3843-3850 | If X is an instance of oil picture, then there exist Y, Z such that Y is an instance of oil paint, Z is an instance of painting, Y is a resource for Z, and X is a result of Z |
|