| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11490-11490 | Propulser est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6548-6548 | Spitting est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6562-6562 | Drooling est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6616-6616 | Punching est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6632-6632 | Kicking est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10712 | HeartBeat est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17018-17018 | GameShot est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17077-17077 | Throwing est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | Tirer est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2292-2292 | AvalancheProcess est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2298-2298 | Landslide est une sous-classe de propulser |
|
|