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. |
Merge.kif 11433-11433 |
注射 是 插入 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4119-4119 |
Intubation 是 插入 的 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. |
domainEnglishFormat.kif 30223-30223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30222-30222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30221-30221 |
|