| (=> (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 BodyMotion Motion) | Merge.kif 11116-11116 | |
| (subclass Dodging BodyMotion) | Mid-level-ontology.kif 445-445 | |
| (subclass Mounting BodyMotion) | Mid-level-ontology.kif 465-465 | |
| (subclass Stepping BodyMotion) | Mid-level-ontology.kif 482-482 | |
| (subclass Jumping BodyMotion) | Mid-level-ontology.kif 543-543 | |
| (subclass Somersaulting BodyMotion) | Mid-level-ontology.kif 557-557 | |
| (subclass Indicating BodyMotion) | Mid-level-ontology.kif 1017-1017 | |
| (subclass Crawling BodyMotion) | Mid-level-ontology.kif 4381-4381 | |
| (subclass Scratching BodyMotion) | Mid-level-ontology.kif 5713-5713 | |
| (subclass Swallowing BodyMotion) | Mid-level-ontology.kif 6586-6586 | |
| (subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10527-10527 | |
| (subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10549-10549 | |
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 10594-10594 | |
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 10618-10618 | |
| (subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10713-10713 | |
| (subclass Chewing BodyMotion) | Mid-level-ontology.kif 11550-11550 | |
| (subclass Inclining BodyMotion) | Mid-level-ontology.kif 13094-13094 | |
| (subclass Ducking BodyMotion) | Mid-level-ontology.kif 13118-13118 | |
| (subclass Throwing BodyMotion) | Mid-level-ontology.kif 17078-17078 | |
| (subclass LyingDown BodyMotion) | Mid-level-ontology.kif 19859-19859 | |
| (subclass KneelingDown BodyMotion) | Mid-level-ontology.kif 19884-19884 | |
| (subclass SittingDown BodyMotion) | Mid-level-ontology.kif 19904-19904 | |
| (subclass StandingUp BodyMotion) | Mid-level-ontology.kif 19921-19921 | |
| (subclass EyeMotion BodyMotion) | Mid-level-ontology.kif 19938-19938 | |
| (subclass Shrugging BodyMotion) | Mid-level-ontology.kif 19968-19968 | |
| (subclass Trembling BodyMotion) | Mid-level-ontology.kif 19979-19979 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 19998-19998 | |
| (subclass Ambulating BodyMotion) | Merge.kif 11160-11160 | |
| (subclass Swimming BodyMotion) | Merge.kif 11190-11190 | |
| (subclass Dancing BodyMotion) | Merge.kif 11205-11205 | |
| (subclass Gesture BodyMotion) | Merge.kif 13114-13114 | |
| (subclass Blinking BodyMotion) | Medicine.kif 447-447 | |
| (subclass EmotionalBodilyMovementBehavior BodyMotion) | emotion.kif 1358-1358 |
|
|