| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11490-11490 | Propulsionar e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6548-6548 | Spitting e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6562-6562 | Drooling e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6616-6616 | Punching e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6632-6632 | Kicking e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10712 | HeartBeat e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17018-17018 | GameShot e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17077-17077 | Throwing e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | Atirar e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2292-2292 | AvalancheProcess e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2298-2298 | Landslide e' uma sub-classe de Propulsionar |
|
|