No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1548-1548 |
connectedBodyPartTypes Urethra, Bladder and 人类 |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1537-1545 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1547-1547 |
|
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. |
Anatomy.kif 1536-1536 |
Urethra 是 BodyOriface 的 subclass |