No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1668-1668 |
connectedBodyPartTypes DeferentialArtery, InternalIliacArtery and MaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1685-1685 |
connectedBodyPartTypes IliolumbarArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1653-1653 |
connectedBodyPartTypes InferiorGlutealArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1581-1581 |
connectedBodyPartTypes InferiorVesicalArtery, InternalIliacArtery and MaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1591-1591 |
connectedBodyPartTypes InternalPudendalArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1700-1700 |
connectedBodyPartTypes LateralSacralArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1586-1586 |
connectedBodyPartTypes MiddleRectalArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1675-1675 |
connectedBodyPartTypes ObliteratedUmbilicalArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1566-1566 |
connectedBodyPartTypes ObturatorArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1715-1715 |
connectedBodyPartTypes SuperiorGlutealArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1571-1571 |
connectedBodyPartTypes SuperiorVesicalArtery, InternalIliacArtery and Humano |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1663-1663 |
connectedBodyPartTypes UterineArtery, InternalIliacArtery and FemaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1576-1576 |
connectedBodyPartTypes VaginalArtery, InternalIliacArtery and FemaleHuman |
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1553-1553 |
|