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