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