| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1677-1677 | PosteriorDivisionIliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1681-1681 | IliolumbarArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1686-1686 | LumbarBranchArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1691-1691 | IliacBranchArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1696-1696 | LateralSacralArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1701-1701 | LateralSacralSuperiorArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1706-1706 | LateralSacralInferiorArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1711-1711 | SuperiorGlutealArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1716-1716 | SuperiorGlutealSuperficialBranchArtery est une sous-classe de PosteriorDivisionIliacArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1721-1721 | SuperiorGlutealDeepBranchArtery est une sous-classe de PosteriorDivisionIliacArtery |
|
|