No TPTP formula. May not be expressible in strict first order. | Merge.kif 11420-11420 | Inserting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1368-1368 | Loading weapon is a subclass of inserting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11433-11433 | Injecting is a subclass of inserting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 566-566 | Catheterization is a subclass of inserting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4119-4119 | Intubation is a subclass of inserting |