No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1548-1548 |
connectedBodyPartTypes urethra, bladder and human |
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 is a subclass of body cavity |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1536-1536 |
Urethra is a subclass of BodyOriface |