| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11087-11087 | MotionDownward e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13095-13095 | Inclining e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13102-13102 | Bowing e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13119-13119 | Ducking e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19860-19860 | LyingDown e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19905-19905 | SittingDown e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11603-11603 | Falling e' uma sub-classe de MotionDownward |
|
|