No TPTP formula. May not be expressible in strict first order. | Merge.kif 11466-11466 | Inserting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1361-1361 | Loading weapon is a subclass of inserting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11479-11479 | 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 |