No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1169-1169 |
connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1148-1148 |
connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1155-1155 |
connectedBodyPartTypes CommonInterosseousArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1214-1214 |
connectedBodyPartTypes DeepVolarArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1209-1209 |
connectedBodyPartTypes DorsalCarpalArchArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1204-1204 |
connectedBodyPartTypes DorsalCarpalArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1189-1189 |
connectedBodyPartTypes MuscularUlnarArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1199-1199 |
connectedBodyPartTypes PalmarCarpalArchArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1160-1160 |
connectedBodyPartTypes PosteriorInterosseousArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1150-1150 |
connectedBodyPartTypes PosteriorUlnarRecurrentArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1219-1219 |
connectedBodyPartTypes SuperficialVolarArchArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1194-1194 |
connectedBodyPartTypes VolarCarpalArtery, UlnarArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1140-1140 |
|