| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14958-14958 | 子類 異常的解剖結構 and AnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9384-9384 | 子類 病變 and 異常的解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9403-9403 | 子類 傷痕 and 異常的解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9419-9419 | 子類 Ulcer and 異常的解剖結構 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9432-9432 | 子類 瘤 and 異常的解剖結構 |
|
|