| (=> (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 BodyMotion Motion) | Merge.kif 11094-11094 | |
| (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 5714-5714 | |
| (subclass Swallowing BodyMotion) | Mid-level-ontology.kif 6587-6587 | |
| (subclass MuscularContraction BodyMotion) | Mid-level-ontology.kif 10528-10528 | |
| (subclass MuscleRelaxing BodyMotion) | Mid-level-ontology.kif 10550-10550 | |
| (subclass Flexion BodyMotion) | Mid-level-ontology.kif 10595-10595 | |
| (subclass Extension BodyMotion) | Mid-level-ontology.kif 10619-10619 | |
| (subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10714-10714 | |
| (subclass Chewing BodyMotion) | Mid-level-ontology.kif 11551-11551 | |
| (subclass Inclining BodyMotion) | Mid-level-ontology.kif 13095-13095 | |
| (subclass Ducking BodyMotion) | Mid-level-ontology.kif 13119-13119 | |
| (subclass Throwing BodyMotion) | Mid-level-ontology.kif 17079-17079 | |
| (subclass LyingDown BodyMotion) | Mid-level-ontology.kif 19860-19860 | |
| (subclass KneelingDown BodyMotion) | Mid-level-ontology.kif 19885-19885 | |
| (subclass SittingDown BodyMotion) | Mid-level-ontology.kif 19905-19905 | |
| (subclass StandingUp BodyMotion) | Mid-level-ontology.kif 19922-19922 | |
| (subclass EyeMotion BodyMotion) | Mid-level-ontology.kif 19939-19939 | |
| (subclass Shrugging BodyMotion) | Mid-level-ontology.kif 19969-19969 | |
| (subclass Trembling BodyMotion) | Mid-level-ontology.kif 19980-19980 | |
| (subclass Dismounting BodyMotion) | Mid-level-ontology.kif 19999-19999 | |
| (subclass Ambulating BodyMotion) | Merge.kif 11138-11138 | |
| (subclass Swimming BodyMotion) | Merge.kif 11168-11168 | |
| (subclass Dancing BodyMotion) | Merge.kif 11183-11183 | |
| (subclass Gesture BodyMotion) | Merge.kif 13092-13092 | |
| (subclass Blinking BodyMotion) | Medicine.kif 447-447 | |
| (subclass EmotionalBodilyMovementBehavior BodyMotion) | emotion.kif 1358-1358 |
|
|