| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | 子類 體腔 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6076-6076 | 子類 NasalCavity and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 子類 BodyVessel and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 269-269 | 子類 LeftAtrium and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 285-285 | 子類 LeftVentricle and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 301-301 | 子類 RightAtrium and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | 子類 RightVentricle and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | 子類 EustachianTube and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1535-1535 | 子類 Urethra and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1558-1558 | 子類 AuditoryCanal and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1585-1585 | 子類 TympanicCavity and 體腔 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1594-1594 | 子類 InnerEar and 體腔 |
|
|