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. |
Merge.kif 15124-15124 |
Veia 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 1594-1594 |
InnerEar 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. |
Mid-level-ontology.kif 6076-6076 |
NasalCavity 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 1585-1585 |
TympanicCavity 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. |
domainEnglishFormat.kif 11471-11471 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11470-11470 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11469-11469 |
|