|
|
   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 | AnteriorIliacArteryDivision 是 动脉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | AccompanyingArteryOfIschiadicNerve 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1617-1617 | ArteryOfBulbOfPenis 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1622-1622 | ArteryOfBulbOfVestibule 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1642-1642 | DeepArteryOfClitoris 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1637-1637 | DeepArteryOfPenis 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1664-1664 | DeferentialArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1632-1632 | DorsalArteryOfClitoris 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1627-1627 | DorsalArteryOfPenis 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1649-1649 | InferiorGlutealArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1592-1592 | InferiorRectalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1577-1577 | InferiorVesicalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1587-1587 | InternalPudendalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1582-1582 | MiddleRectalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1671-1671 | ObliteratedUmbilicalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1562-1562 | ObturatorArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1597-1597 | PerinealArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1607-1607 | PosteriorLabialBranchArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1602-1602 | PosteriorScrotalBranchArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1567-1567 | SuperiorVesicalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1612-1612 | UrethralArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1659-1659 | UterineArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1572-1572 | VaginalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1559-1559 |
|
|
|