No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9385-9385 |
Lesion is a subclass of abnormal anatomical structure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9404-9404 |
Scar is a subclass of abnormal anatomical structure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9433-9433 |
Tumor is a subclass of abnormal anatomical structure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9420-9420 |
Ulcer is a subclass of abnormal anatomical structure |
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 |
|