| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11314-11314 | Transf�re est une sous-classe de Translocation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5519-5519 | ChangingClothing est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6587-6587 | Swallowing est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6646-6646 | Mailing est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6650-6650 | Messaging est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17533-17533 | Pouring est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17602-17602 | Spraying est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18054-18054 | MovingResidence est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10269-10269 | Ing�rer est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11388-11388 | Carrying est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11400-11400 | Supprimer est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11421-11421 | Mettre est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11470-11470 | Remplacer est une sous-classe de transf�re |
| 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. | Merge.kif 11502-11502 | Toucher est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11540-11540 | Releasing est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | IntraosseousInfusion est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | DeliveryService est une sous-classe de transf�re |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2388-2388 | ElectricTransmission est une sous-classe de transf�re |
|
|