| BodyCavity(body cavity)
| | abdomen, abdominal_cavity, left_ventricle, pudendal_cleavage, pudendal_cleft, pudendal_slit, rima_pudendi, rima_vulvae, 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 14850-14851 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1050-1050 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14849-14849 | Body cavity is a subclass of body part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14853-14853 | Body vessel is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5784-5784 | Nasal cavity is a subclass of body cavity |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11474-11474 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11473-11473 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11472-11472 |
|
|
|