Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Ramp(ramp)
|  | incline, ramp, ski_jump |
| appearance as argument number 1 |
|
|
| (subclass Ramp SelfConnectedObject) | Mid-level-ontology.kif 2960-2960 | Ramp is a subclass of self connected object |
| (documentation Ramp EnglishLanguage "Ramp is the class of SelfConnectedObjects that are inclined planes used for moving objects from one level to another, especially used for wheeled vehicles and people who cannot climb stairs.") | Mid-level-ontology.kif 2961-2963 | Ramp is a subclass of self connected object |
| (externalImage Ramp "http://upload.wikimedia.org/wikipedia/commons/8/85/ Free_body.svg") | pictureList.kif 876-876 | Ramp is a subclass of self connected object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?R Ramp) (capability MotionUpward path ?R)) |
Mid-level-ontology.kif 2965-2967 | If X is an instance of ramp, then X is capable of doing motion upward as a path |
| (=> (instance ?R Ramp) (capability MotionDownward path ?R)) |
Mid-level-ontology.kif 2969-2971 | If X is an instance of ramp, then X is capable of doing motion downward as a path |
|