| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11099-11099 | MotionDownward e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13123-13123 | Inclining e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13130-13130 | Bowing e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13147-13147 | Ducking e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19888-19888 | LyingDown e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19933-19933 | SittingDown e' uma sub-classe de MotionDownward |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11627-11627 | Falling e' uma sub-classe de MotionDownward |
|
|