No TPTP formula. May not be expressible in strict first order. | Merge.kif 11468-11468 | Impelling is a subclass of transfer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6549-6549 | Spitting is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6563-6563 | Drooling is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6617-6617 | Punching is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6633-6633 | Kicking is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10713-10713 | Heart beat is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | Game shot is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17078-17078 | Throwing is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11474-11474 | 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 |