RowingMachine
|
|
appearance as argument number 1 |
(documentation RowingMachine EnglishLanguage "An stationary Machine that mimics the motion of Rowing for the purpose of exercise.") | Mid-level-ontology.kif 8238-8239 | |
(subclass RowingMachine AerobicExerciseDevice) | Mid-level-ontology.kif 8237-8237 | 子類 RowingMachine and 有氧運動裝置 |
appearance as argument number 2 |
(termFormat EnglishLanguage RowingMachine "ergometer") | Mid-level-ontology.kif 8241-8241 | |
(termFormat EnglishLanguage RowingMachine "rowing machine") | Mid-level-ontology.kif 8240-8240 |
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 8243-8257 |
|