Gills
|
|
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 è una sottoclasse di AerobicExerciseDevice |
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 |
|