|
|
   AnteriorIliacArteryDivision
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1560-1560 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1558-1558 | Anterior iliac artery division is a subclass of artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | Accompanying artery of ischiadic nerve is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1617-1617 | Artery of bulb of penis is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1622-1622 | Artery of bulb of vestibule is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1642-1642 | Deep artery of clitoris is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1637-1637 | Deep artery of penis is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1664-1664 | Deferential artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1632-1632 | Dorsal artery of clitoris is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1627-1627 | Dorsal artery of penis is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1649-1649 | Inferior gluteal artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1592-1592 | Inferior rectal artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1577-1577 | Inferior vesical artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1587-1587 | Internal pudendal artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1582-1582 | Middle rectal artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1671-1671 | Obliterated umbilical artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1562-1562 | Obturator artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1597-1597 | Perineal artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1607-1607 | Posterior labial branch artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1602-1602 | Posterior scrotal branch artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1567-1567 | Superior vesical artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1612-1612 | Urethral artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1659-1659 | Uterine artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1572-1572 | Vaginal artery is a subclass of anterior iliac artery division |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1559-1559 |
|
|
|