| BodyCavity(body cavity)
| | abdomen, abdominal_cavity, alveolus, cranial_orbit, eye_socket, left_ventricle, orbit, orbital_cavity, pudendal_cleavage, pudendal_cleft, pudendal_slit, rima_pudendi, rima_vulvae, tooth_socket, urogenital_cleft, vulvar_slit |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3514-3515 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15099-15100 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1049-1049 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15098-15098 | Body cavity is a subclass of body part |
| appearance as argument number 2 |
|
|
| 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. | Merge.kif 15102-15102 | Body vessel 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 1594-1594 | Auris interna 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. | 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. | 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 1585-1585 | Middle ear 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. | domainEnglishFormat.kif 11471-11471 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11470-11470 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11469-11469 |
|
|
|