|
|
   ObturatorArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1566-1566 | connectedBodyPartTypes ObturatorArtery, InternalIliacArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1564-1564 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1562-1562 | ObturatorArtery 是 AnteriorIliacArteryDivision 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1942-1942 | suppliesBlood ObturatorArtery and AdductorBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1951-1951 | suppliesBlood ObturatorArtery and AdductorLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1960-1960 | suppliesBlood ObturatorArtery and AdductorMagnusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1909-1909 | suppliesBlood ObturatorArtery and AdductorMusclesOfTheHipMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1920-1920 | suppliesBlood ObturatorArtery and GracilisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1773-1773 | suppliesBlood ObturatorArtery and ObturatorExternusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1931-1931 | suppliesBlood ObturatorArtery and PectineusMuscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1563-1563 |
|
|
|