| (subclass MotionDownward Motion) | Merge.kif 11065-11065 | Motion downward is a subclass of motion |
| (subclass Inclining MotionDownward) | Mid-level-ontology.kif 13096-13096 | Inclining is a subclass of motion downward |
| (subclass Bowing MotionDownward) | Mid-level-ontology.kif 13103-13103 | Bowing is a subclass of motion downward |
| (subclass Ducking MotionDownward) | Mid-level-ontology.kif 13120-13120 | Ducking is a subclass of motion downward |
| (subclass LyingDown MotionDownward) | Mid-level-ontology.kif 19861-19861 | Lying down is a subclass of motion downward |
| (subclass SittingDown MotionDownward) | Mid-level-ontology.kif 19906-19906 | Sitting down is a subclass of motion downward |
| (subclass Falling MotionDownward) | Merge.kif 11581-11581 | Falling is a subclass of motion downward |
|
|