| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11442-11442 | Inserting est une sous-classe de mettre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1368-1368 | LoadingWeapon est une sous-classe de Inserting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11455-11455 | Injecting est une sous-classe de Inserting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 566-566 | Catheterization est une sous-classe de Inserting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4119-4119 | Intubation est une sous-classe de Inserting |
|
|