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