| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | 体腔 是 身体部位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6076-6076 | NasalCavity 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 身体管道 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 269-269 | LeftAtrium 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 285-285 | LeftVentricle 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 301-301 | RightAtrium 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | RightVentricle 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | EustachianTube 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1535-1535 | Urethra 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1558-1558 | AuditoryCanal 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1585-1585 | TympanicCavity 是 体腔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1594-1594 | InnerEar 是 体腔 的 subclass |
|
|