| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11420-11420 | 插入 是 放 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1368-1368 | 装载武器 是 插入 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11433-11433 | 注射 是 插入 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 566-566 | Catheterization 是 插入 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4119-4119 | Intubation 是 插入 的 subclass |
|
|