| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11035-11035 | Motion is a subclass of process |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3004-3004 | Trip is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17132-17132 | Stretching is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17440-17440 | Rotating is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17512-17512 | Reversing is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17606-17606 | Pulling is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17612-17612 | Pushing is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21518-21518 | Opening is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21525-21525 | Closing is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11081-11081 | Motion upward is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11087-11087 | Motion downward is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11116-11116 | Body motion is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11211-11211 | Geological process is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11219-11219 | Weather process is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11242-11242 | Liquid motion is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11266-11266 | Gas motion is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11296-11296 | Direction change is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11571-11571 | Translocation is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13667-13667 | Radiating is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5706-5706 | Irrigating is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6795-6795 | Swarming is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 80-80 | Engine cycle is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 166-166 | Four stroke intake is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 186-186 | Four stroke compression is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 202-202 | Four stroke combustion is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 219-219 | Four stroke exhaust is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 457-457 | Two stroke intake is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 485-485 | Two stroke compression is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 502-502 | Two stroke transfer is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1988-1988 | Compressing is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2214-2214 | Engine cranking is a subclass of motion |
|
|