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 1549-1549 |
connectedBodyPartTypes CommonIliacArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1487-1487 |
connectedBodyPartTypes GonadalArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1284-1284 |
connectedBodyPartTypes InferiorPhrenicArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1505-1505 |
connectedBodyPartTypes LumbarArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1431-1431 |
connectedBodyPartTypes MiddleSuprarenalArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1498-1498 |
connectedBodyPartTypes OvarianArtery, AbdominalAorta and FemaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1439-1439 |
connectedBodyPartTypes RenalArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1397-1397 |
connectedBodyPartTypes SuperiorMesentericArtery, AbdominalAorta and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1493-1493 |
connectedBodyPartTypes TesticularArtery, AbdominalAorta and MaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1274-1274 |
|