(=> (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 |
|
(subclass RowingMachine AerobicExerciseDevice) | Mid-level-ontology.kif 8237-8237 | RowingMachine est une sous-classe de AerobicExerciseDevice |