No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | Abnormal anatomical structure is a subclass of anatomical structure |
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 9420-9420 | Ulcer 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 |