No TPTP formula. May not be expressible in strict first order. | Merge.kif 14982-14982 | 异常的解剖结构 是 解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9412-9412 | 病变 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9431-9431 | 伤痕 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9447-9447 | Ulcer 是 异常的解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9460-9460 | 瘤 是 异常的解剖结构 的 subclass |