| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | BodyCavity e' uma sub-classe de Parte do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6076-6076 | NasalCavity e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | Veia e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 269-269 | LeftAtrium e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 285-285 | LeftVentricle e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 301-301 | RightAtrium e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 317-317 | RightVentricle e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1502-1502 | EustachianTube e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1535-1535 | Urethra e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1558-1558 | AuditoryCanal e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1585-1585 | TympanicCavity e' uma sub-classe de BodyCavity |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1594-1594 | InnerEar e' uma sub-classe de BodyCavity |
|
|