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. |
Merge.kif 15148-15148 |
子類 BodyVessel 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 1594-1594 |
子類 InnerEar 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. |
Mid-level-ontology.kif 6071-6071 |
子類 NasalCavity 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 1585-1585 |
子類 TympanicCavity 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. |
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 |
|