Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AnimalLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RowingMachine AerobicExerciseDevice) | Mid-level-ontology.kif 9558-9558 | Ergometer is a subclass of aerobic exercise device |
| (documentation RowingMachine EnglishLanguage "An stationary Machine that mimics the motion of Rowing for the purpose of exercise.") | Mid-level-ontology.kif 9559-9560 | Ergometer is a subclass of aerobic exercise device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RowingMachine "rowing machine") | Mid-level-ontology.kif 9561-9561 | |
| (termFormat EnglishLanguage RowingMachine "ergometer") | Mid-level-ontology.kif 9562-9562 |
| antecedent |
|
|
| (=> (and (instance ?R RecreationOrExercise) (instrument ?R ?RM) (instance ?RM RowingMachine) (experiencer ?R ?H) (instance ?ROW Rowing) (subProcess ?RMOT ?R) (subclass ?C BodyMotion) (instance ?RMOT ?C)) (exists (?ROWMOT) (and (instance ?ROWMOT ?C) (subProcess ?ROWMOT ?R) (agent ?ROWMOT ?H)))) |
Mid-level-ontology.kif 9564-9578 | If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T |
|