Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PaintingDevice(painting device) |  | paintbrush, spray_gun |
| appearance as argument number 1 |
|
|
| (subclass PaintingDevice Device) | Mid-level-ontology.kif 3864-3864 | Painting device is a subclass of device |
| (documentation PaintingDevice EnglishLanguage "A Device used as an instrument for Painting. Paintbrushes, rollers or sprayers can belong into this class.") | Mid-level-ontology.kif 3865-3866 | Painting device is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PD PaintingDevice) (capability Painting instrument ?PD)) |
Mid-level-ontology.kif 3870-3872 | If X is an instance of painting device, then X is capable of doing painting as a instrument |
| (=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3874-3885 | If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z |
|