No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1137-1137 |
connectedBodyPartTypes DeepPalmarArchArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1112-1112 |
connectedBodyPartTypes DorsalCarpalBranchOfRadialArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1117-1117 |
connectedBodyPartTypes FirstDorsalMetacarpalArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1097-1097 |
connectedBodyPartTypes PalmarCarpalBranchOfRadialArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1127-1127 |
connectedBodyPartTypes PrincepsPollicisArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1122-1122 |
connectedBodyPartTypes RadialBranchArteryInTheHand, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1107-1107 |
connectedBodyPartTypes RadialBranchAtTheWristArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1087-1087 |
connectedBodyPartTypes RadialBranchesInTheForearm, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1092-1092 |
connectedBodyPartTypes RadialRecurrentArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1132-1132 |
connectedBodyPartTypes RadialisIndicisArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1102-1102 |
connectedBodyPartTypes SuperficialPalmarBranchOfTheRadialArtery, RadialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1079-1079 |
|