| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1558-1558 | 子類 AnteriorIliacArteryDivision and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1562-1562 | 子類 ObturatorArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1567-1567 | 子類 SuperiorVesicalArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1572-1572 | 子類 VaginalArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1577-1577 | 子類 InferiorVesicalArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1582-1582 | 子類 MiddleRectalArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1587-1587 | 子類 InternalPudendalArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1592-1592 | 子類 InferiorRectalArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1597-1597 | 子類 PerinealArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1602-1602 | 子類 PosteriorScrotalBranchArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1607-1607 | 子類 PosteriorLabialBranchArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1612-1612 | 子類 UrethralArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1617-1617 | 子類 ArteryOfBulbOfPenis and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1622-1622 | 子類 ArteryOfBulbOfVestibule and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1627-1627 | 子類 DorsalArteryOfPenis and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1632-1632 | 子類 DorsalArteryOfClitoris and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1637-1637 | 子類 DeepArteryOfPenis and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1642-1642 | 子類 DeepArteryOfClitoris and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1649-1649 | 子類 InferiorGlutealArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | 子類 AccompanyingArteryOfIschiadicNerve and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1659-1659 | 子類 UterineArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1664-1664 | 子類 DeferentialArtery and AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1671-1671 | 子類 ObliteratedUmbilicalArtery and AnteriorIliacArteryDivision |
|
|