| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | BodyCavity est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6076-6076 | NasalCavity est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | Veine est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 269-269 | LeftAtrium est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 285-285 | LeftVentricle est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 301-301 | RightAtrium est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | RightVentricle est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | EustachianTube est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1535-1535 | Urethra est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1558-1558 | AuditoryCanal est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1585-1585 | TympanicCavity est une sous-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1594-1594 | InnerEar est une sous-classe de BodyCavity |
|
|