| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15098-15098 | Body cavity is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6077-6077 | Nasal cavity is a subclass of body cavity |
| 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. | Medicine.kif 269-269 | Left atrium is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 285-285 | Left ventricle is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 301-301 | Right atrium is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | Right ventricle is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | Eustachian tube is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1535-1535 | Urethra is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1558-1558 | Auditory canal is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1585-1585 | Middle ear is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1594-1594 | Auris interna is a subclass of body cavity |
|
|