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 9432-9432 |
子類 瘤 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. |
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 |
|