(=> (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 | |
(subclass RecreationOrExercise IntentionalProcess) | Merge.kif 10545-10545 | |
(subclass FitnessExercise RecreationOrExercise) | Sports.kif 559-559 | |
(subclass Yoga RecreationOrExercise) | Sports.kif 560-560 | |
(subclass SocialParty RecreationOrExercise) | Mid-level-ontology.kif 15983-15983 | |
(subclass Smoking RecreationOrExercise) | Mid-level-ontology.kif 16066-16066 | |
(subclass Vacationing RecreationOrExercise) | Mid-level-ontology.kif 20446-20446 | |
(subclass Game RecreationOrExercise) | Merge.kif 13395-13395 |