| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11035-11035 | Movimento e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3004-3004 | Trip e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17132-17132 | Stretching e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17440-17440 | Rotating e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17512-17512 | Reversing e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17606-17606 | Pulling e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17612-17612 | Pushing e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21518-21518 | Opening e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21525-21525 | Closing e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11081-11081 | MotionUpward e' uma sub-classe de Movimento |
| 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. | Merge.kif 11116-11116 | Movimento do Corpo e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11211-11211 | GeologicalProcess e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11219-11219 | WeatherProcess e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | LiquidMotion e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11266-11266 | GasMotion e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11296-11296 | Mudanca de Direcao e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11571-11571 | Translocation e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | Irradiar e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | Irrigating e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | Swarming e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | EngineCycle e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | FourStrokeIntake e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | FourStrokeCompression e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | FourStrokeCombustion e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | FourStrokeExhaust e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 457-457 | TwoStrokeIntake e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 485-485 | TwoStrokeCompression e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 502-502 | TwoStrokeTransfer e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1988-1988 | Compressing e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2214-2214 | EngineCranking e' uma sub-classe de Movimento |
|
|