| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11102-11102 | Artery est une sous-classe de BloodVessel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11136-11136 | PulmonaryArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 5-5 | AscendingAorta est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 16-16 | RightCoronaryArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 28-28 | PosteriorInterventricularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 34-34 | SANodalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 40-40 | RightMarginalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 48-48 | LeftCoronaryArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 63-63 | AnteriorInterventricularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 69-69 | AnteriorInterventricularSeptalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 75-75 | AnteriorInterventricularDiagonalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 81-81 | CircumflexArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 93-93 | LeftMarginalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 101-101 | PosterolateralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 107-107 | RamusIntermedius est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 114-114 | AorticArch est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 124-124 | BrachiocephalicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 138-138 | CarotidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 149-149 | RightSubclavianArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 167-167 | InternalCarotidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 174-174 | OphthalmicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 180-180 | OrbitalGroupArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 297-297 | OcularGroupArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 339-339 | CerebralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 357-357 | AnterolateralCentralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 362-362 | InternalStriateArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 367-367 | ExternalStriateArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 373-373 | PosteriorCommunicatingArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 379-379 | ExternalCarotidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 390-390 | SuperiorThyroidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 396-396 | HyoidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 402-402 | SternocleidomastoidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 408-408 | SuperiorLaryngealArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 414-414 | CricothyroidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 420-420 | AscendingPharyngealArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 426-426 | LingualArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 432-432 | FacialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 438-438 | CervicalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 502-502 | OccipitalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 509-509 | PosteriorAuricularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 518-518 | MaxillaryArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | ExternalCarotidTerminalFirstPortionArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 613-613 | ExternalCarotidTerminalSecondPortionArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 639-639 | ExternalCarotidTerminalThirdPortionArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 705-705 | SuperficialTemporalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 713-713 | TransverseFacialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 718-718 | MiddleTemporalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 723-723 | AnteriorAuricularBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 728-728 | SuperficialTemporalFrontalBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 735-735 | SuperficialTemporalParietalBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 743-743 | LeftSubclavianArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 762-762 | VertebralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 768-768 | MeningealBranchOfVertebralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 773-773 | PosteriorSpinalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 778-778 | PosteriorSpinalAscendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 783-783 | PosteriorSpinalDescendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 787-787 | AnteriorSpinalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 791-791 | CerebellarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 811-811 | BasilarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 821-821 | LabyrinthineArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 826-826 | PontineBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 832-832 | InternalThoracicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 839-839 | MediastinalBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 844-844 | ThymicBranchesArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 849-849 | PericardiophrenicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 854-854 | SternalBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 859-859 | PerforatingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 864-864 | SixAnteriorIntercostalBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 869-869 | UpperBranchIntercostalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 874-874 | LowerBranchesOfTheSpaceAnastomosesArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 879-879 | MusculophrenicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 884-884 | IntercostalBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 889-889 | BranchToLowerPartOfThePericardiumArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 894-894 | BranchToDiaphragmArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 899-899 | BranchToAbdominalMusclesArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 904-904 | SuperiorEpigastricArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 910-910 | ThyrocervicalTrunkArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 917-917 | InferiorThyroidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 922-922 | SuprascapularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 927-927 | TransverseCervicalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 932-932 | TransverseCervicalSuperficialBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 937-937 | TransverseCervicalDeepBranchDorsalScapularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 943-943 | CostocervicalTrunkArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 950-950 | DeepCervicalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 955-955 | SupremeIntercostalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 960-960 | FirstAndSecondPosteriorIntercostalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 965-965 | AxillaryArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 972-972 | SuperiorThoracicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 977-977 | ThoracoacromialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 982-982 | AcromialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 987-987 | PectoralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 992-992 | ClavicularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 997-997 | DeltoidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1002-1002 | LateralThoracicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1007-1007 | SubscapularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1012-1012 | AnteriorHumeralCircumflexArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1017-1017 | PosteriorHumeralCircumflexArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1024-1024 | BrachialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1031-1031 | ProfundaBrachiiArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1036-1036 | RadialCollateralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1041-1041 | MedialCollateralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1046-1046 | BranchesToTheDeltoidMuscleArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1052-1052 | SuperiorUlnarCollateralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1057-1057 | PosteriorUlnarRecurrentArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1063-1063 | InferiorUlnarCollateralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1068-1068 | InferiorUlnarCollateralAscendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1073-1073 | InferiorUlnarCollateralDescendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1078-1078 | RadialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1083-1083 | RadialBranchesInTheForearm est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1088-1088 | RadialRecurrentArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1093-1093 | PalmarCarpalBranchOfRadialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1098-1098 | SuperficialPalmarBranchOfTheRadialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1103-1103 | RadialBranchAtTheWristArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1108-1108 | DorsalCarpalBranchOfRadialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1113-1113 | FirstDorsalMetacarpalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1118-1118 | RadialBranchArteryInTheHand est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1123-1123 | PrincepsPollicisArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1128-1128 | RadialisIndicisArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1133-1133 | DeepPalmarArchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1139-1139 | UlnarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1144-1144 | AnteriorUlnarRecurrentArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1151-1151 | CommonInterosseousArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1156-1156 | PosteriorInterosseousArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1161-1161 | InterosseousRecurrentArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1165-1165 | AnteriorInterosseousArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1170-1170 | MuscularBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1175-1175 | NutrientArteriesOfRadiusAndUlna est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1180-1180 | BranchToVolarCarpalNetworkArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1185-1185 | MuscularUlnarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1190-1190 | VolarCarpalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1195-1195 | PalmarCarpalArchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1200-1200 | DorsalCarpalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1205-1205 | DorsalCarpalArchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1210-1210 | DeepVolarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1215-1215 | SuperficialVolarArchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1221-1221 | Aorta est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1226-1226 | ThoracicAorta est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1243-1243 | BronchialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1248-1248 | EsophagealArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1255-1255 | Lower3rdTo11thPosteriorIntercostalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1260-1260 | SubcostalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1265-1265 | SuperiorPhrenicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | AbdominalAorta est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1285-1285 | InferiorPhrenicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1291-1291 | CeliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1295-1295 | GastricArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1306-1306 | HepaticBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1311-1311 | OesophagealBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1316-1316 | CommonHepaticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1321-1321 | ProperHepaticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1330-1330 | RightHepaticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1335-1335 | CysticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1340-1340 | LeftHepaticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1350-1350 | GastroduodenalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1355-1355 | RightGastroOmentalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1360-1360 | SuperiorPancreaticoduodenalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1365-1365 | SplenicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1370-1370 | DorsalPancreaticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1375-1375 | ShortGastricArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1380-1380 | LeftGastroOmentalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1385-1385 | BuhlersAnastomoticArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1392-1392 | SuperiorMesentericArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1399-1399 | InferiorPancreaticoduodenalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1404-1404 | MiddleColicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1409-1409 | RightColicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1414-1414 | IntestinalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1419-1419 | IleocolicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1426-1426 | MiddleSuprarenalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1434-1434 | RenalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1445-1445 | InterlobarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1450-1450 | ArcuateArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1455-1455 | InterlobularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1460-1460 | AfferentArteriole est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1466-1466 | EfferentArteriole est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1471-1471 | DescendingVasaRectaArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1476-1476 | PeritubularCapillary est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1483-1483 | GonadalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1501-1501 | LumbarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1508-1508 | InferiorMesentericArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1512-1512 | LeftColicArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1517-1517 | LeftColicAscendingArteryBranch est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1522-1522 | LeftColicDescendingArteryBranch est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1527-1527 | SigmoidArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1531-1531 | SuperiorRectalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1537-1537 | MedianSacralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1544-1544 | CommonIliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1552-1552 | InternalIliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1558-1558 | AnteriorIliacArteryDivision est une sous-classe de Artery |
| 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 1728-1728 | ExternalIliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1734-1734 | InferiorEpigastricArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1739-1739 | DeepCircumflexIliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1744-1744 | FemoralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1749-1749 | SuperficialEpigastricArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1754-1754 | SuperficialCircumflexIliacArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1759-1759 | SuperficialExternalPudendalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1764-1764 | DeepExternalPudendalArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1769-1769 | DeepFemoralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1774-1774 | LateralFemoralCircumflexArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1779-1779 | LateralFemoralCircumflexAscendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1784-1784 | LateralFemoralCircumflexDescendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1789-1789 | LateralFemoralCircumflexTransverseBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1794-1794 | MedialFemoralCircumflexArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1799-1799 | MedialFemoralCircumflexAscendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1803-1803 | MedialFemoralCircumflexDescendingBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1807-1807 | MedialFemoralCircumflexDescendingSuperficialBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1811-1811 | MedialFemoralCircumflexDescendingDeepBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1815-1815 | MedialFemoralCircumflexDescendingAcetabularBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1819-1819 | PerforatingArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1824-1824 | FirstPerforatingArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1828-1828 | SecondPerforatingArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1832-1832 | ThirdOrFourthPerforatingArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1836-1836 | DescendingGenicularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1841-1841 | SaphenousBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1846-1846 | MusculoArticularBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1852-1852 | PoplitealArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1859-1859 | AnteriorTibialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1864-1864 | PostTibialRecurrentArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1869-1869 | AnteriorTibialRecurrentArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1876-1876 | AnteriorMedialMalleolarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1881-1881 | AnteriorLateralMalleolarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1886-1886 | DorsalisPedisArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1891-1891 | PosteriorTibialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1896-1896 | FibularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1901-1901 | CommunicatingBranchToTheAnteriorTibialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1906-1906 | PerforatingBranchToThePosteriorTibialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1911-1911 | MedialPlantarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1916-1916 | LateralPlantarArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1921-1921 | SuralArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1926-1926 | MedialSuperiorGenicularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1931-1931 | BranchToVastusMedialisArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1936-1936 | BranchArteryToSurfaceOfTheFemurAndTheKneeJoint est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1941-1941 | LateralSuperiorGenicularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1946-1946 | LateralSuperiorGenicularSuperficialBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1951-1951 | LateralSuperiorGenicularDeepBranchArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1956-1956 | MiddleGenicularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1961-1961 | MedialInferiorGenicularArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1966-1966 | BranchToPopliteusArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1971-1971 | LateralInferiorGenicularArtery est une sous-classe de Artery |
|
|