|
|
   SuperiorGlutealDeepBranchArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1725-1725 | connectedBodyPartTypes superior gluteal deep branch artery, superior gluteal artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1723-1723 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1721-1721 | Superior gluteal deep branch artery is a subclass of posterior division iliac artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1722-1722 |
|
|
|