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