No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9385-9385 |
子類 病變 and 異常的解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9404-9404 |
子類 傷痕 and 異常的解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9433-9433 |
子類 瘤 and 異常的解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9420-9420 |
子類 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 |
|