| (subclass MotionDownward Motion) | Merge.kif 11099-11099 | Motion downward is a subclass of motion |
| (subclass Inclining MotionDownward) | Mid-level-ontology.kif 13123-13123 | Inclining is a subclass of motion downward |
| (subclass Bowing MotionDownward) | Mid-level-ontology.kif 13130-13130 | Bowing is a subclass of motion downward |
| (subclass Ducking MotionDownward) | Mid-level-ontology.kif 13147-13147 | Ducking is a subclass of motion downward |
| (subclass LyingDown MotionDownward) | Mid-level-ontology.kif 19888-19888 | Lying down is a subclass of motion downward |
| (subclass SittingDown MotionDownward) | Mid-level-ontology.kif 19933-19933 | Sitting down is a subclass of motion downward |
| (subclass Falling MotionDownward) | Merge.kif 11627-11627 | Falling is a subclass of motion downward |
|
|