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. |
Merge.kif 15102-15102 |
身体管道 是 体腔 的 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 1594-1594 |
InnerEar 是 体腔 的 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. |
Mid-level-ontology.kif 6077-6077 |
NasalCavity 是 体腔 的 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 1585-1585 |
TympanicCavity 是 体腔 的 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. |
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 |
|