No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9384-9384 |
病变 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9403-9403 |
伤痕 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9432-9432 |
瘤 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9419-9419 |
Ulcer 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5064-5064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5063-5063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5062-5062 |
|