Human(Humano) |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 969-969 | connectedBodyPartTypes AxillaryArtery, LeftSubclavianArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 815-815 | connectedBodyPartTypes BasilarArtery, VertebralArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1028-1028 | connectedBodyPartTypes BrachialArtery, LeftSubclavianArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 135-135 | connectedBodyPartTypes BrachiocephalicArtery, AorticArch and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 147-147 | connectedBodyPartTypes BrachiocephalicArtery, RightCommonCarotidArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 153-153 | connectedBodyPartTypes BrachiocephalicArtery, RightSubclavianArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1940-1940 | connectedBodyPartTypes BranchArteryToSurfaceOfTheFemurAndTheKneeJoint, MedialSuperiorGenicularArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 903-903 | connectedBodyPartTypes BranchToAbdominalMusclesArtery, MusculophrenicArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 898-898 | connectedBodyPartTypes BranchToDiaphragmArtery, MusculophrenicArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 893-893 | connectedBodyPartTypes BranchToLowerPartOfThePericardiumArtery, MusculophrenicArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1970-1970 | connectedBodyPartTypes BranchToPopliteusArtery, MedialInferiorGenicularArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1935-1935 | connectedBodyPartTypes BranchToVastusMedialisArtery, MedialSuperiorGenicularArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1184-1184 | connectedBodyPartTypes BranchToVolarCarpalNetworkArtery, AnteriorInterosseousArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1050-1050 | connectedBodyPartTypes BranchesToTheDeltoidMuscleArtery, ProfundaBrachiiArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1247-1247 | connectedBodyPartTypes BronchialArtery, ThoracicAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1389-1389 | connectedBodyPartTypes BuhlersAnastomoticArtery, SplenicArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1300-1300 | connectedBodyPartTypes CeliacArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 97-97 | connectedBodyPartTypes CircumflexArtery, LeftMarginalArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 91-91 | connectedBodyPartTypes CircumflexArtery, PosteriorInterventricularArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 105-105 | connectedBodyPartTypes CircumflexArtery, PosterolateralArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 88-88 | connectedBodyPartTypes CircumflexArtery, SANodalArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 996-996 | connectedBodyPartTypes ClavicularArtery, ThoracoacromialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1023-1023 | connectedBodyPartTypes Coccyx, Sacrum and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1320-1320 | connectedBodyPartTypes CommonHepaticArtery, CeliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1549-1549 | connectedBodyPartTypes CommonIliacArtery, AbdominalAorta and Humano |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |