(=> (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 RecreationOrExercise IntentionalProcess) | Merge.kif 10523-10523 | |
(subclass FitnessExercise RecreationOrExercise) | Sports.kif 559-559 | |
(subclass Yoga RecreationOrExercise) | Sports.kif 560-560 | |
(subclass SocialParty RecreationOrExercise) | Mid-level-ontology.kif 15984-15984 | |
(subclass Smoking RecreationOrExercise) | Mid-level-ontology.kif 16067-16067 | |
(subclass Vacationing RecreationOrExercise) | Mid-level-ontology.kif 20447-20447 | |
(subclass Game RecreationOrExercise) | Merge.kif 13373-13373 |