|
|
   InferiorRectalArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1596-1596 | connectedBodyPartTypes InferiorRectalArtery, InternalPudendalArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1594-1594 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1592-1592 | InferiorRectalArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1125-1125 | suppliesBlood InferiorRectalArtery and SphincterAniExternusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1133-1133 | suppliesBlood InferiorRectalArtery and SphincterAniInternusMuscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1593-1593 |
|
|
|