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 8237-8238 | |
(subclass RowingMachine AerobicExerciseDevice) | Mid-level-ontology.kif 8236-8236 | RowingMachine 是 有氧运动装置 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage RowingMachine "ergometer") | Mid-level-ontology.kif 8240-8240 | |
(termFormat EnglishLanguage RowingMachine "rowing machine") | Mid-level-ontology.kif 8239-8239 |
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 8242-8256 |
|