| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11065-11065 | Motion downward is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13096-13096 | Inclining is a subclass of motion downward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13103-13103 | Bowing is a subclass of motion downward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13120-13120 | Ducking is a subclass of motion downward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19861-19861 | Lying down is a subclass of motion downward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19906-19906 | Sitting down is a subclass of motion downward |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11581-11581 | Falling is a subclass of motion downward |
|
|