No TPTP formula. May not be expressible in strict first order. | Merge.kif 15102-15102 | Body vessel is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11065-11065 | Bronchial duct is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11077-11077 | Blood vessel is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11091-11091 | Alveolus is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11312-11312 | Nostril is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11722-11722 | Throat is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11734-11734 | Trachea is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12033-12033 | Intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12042-12042 | Large intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12043-12043 | Small intestine is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12070-12070 | Rectum is a subclass of body vessel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12080-12080 | Esophagus is a subclass of body vessel |