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