| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11490-11490 | Impelling is a subclass of transfer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6548-6548 | Spitting is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6562-6562 | Drooling is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6616-6616 | Punching is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6632-6632 | Kicking is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10712 | Heart beat is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17018-17018 | Game shot is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17077-17077 | Throwing is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | Shooting is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2292-2292 | Avalanche process is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2298-2298 | Landslide is a subclass of impelling |
|
|