No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1300-1300 |
connectedBodyPartTypes celiac artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1549-1549 |
connectedBodyPartTypes common iliac artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1487-1487 |
connectedBodyPartTypes gonadal artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1284-1284 |
connectedBodyPartTypes inferior phrenic artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1505-1505 |
connectedBodyPartTypes lumbar artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1431-1431 |
connectedBodyPartTypes middle suprarenal artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1498-1498 |
connectedBodyPartTypes ovarian artery, abdominal aorta and FemaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1439-1439 |
connectedBodyPartTypes renal artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1397-1397 |
connectedBodyPartTypes superior mesenteric artery, abdominal aorta and human |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1493-1493 |
connectedBodyPartTypes testicular artery, abdominal aorta and MaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1274-1274 |
|