No TPTP formula. May not be expressible in strict first order. | Merge.kif 11442-11442 | Inserting e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1368-1368 | LoadingWeapon e' uma sub-classe de Inserting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11455-11455 | Injecting e' uma sub-classe de Inserting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 566-566 | Catheterization e' uma sub-classe de Inserting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4119-4119 | Intubation e' uma sub-classe de Inserting |