No TPTP formula. May not be expressible in strict first order. | arteries.kif 1483-1483 | 子類 GonadalArtery and 動脈 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1489-1489 | 子類 TesticularArtery and GonadalArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1494-1494 | 子類 OvarianArtery and GonadalArtery |