|
|
   FemoralArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1748-1748 | connectedBodyPartTypes FemoralArtery, ExternalIliacArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1746-1746 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1744-1744 | FemoralArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1813-1813 | suppliesBlood FemoralArtery and ArticularisGenusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1831-1831 | suppliesBlood FemoralArtery and QuadricepsFemorisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1840-1840 | suppliesBlood FemoralArtery and RectusFemorisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1823-1823 | suppliesBlood FemoralArtery and SartoriusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1858-1858 | suppliesBlood FemoralArtery and VastusIntermediusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1849-1849 | suppliesBlood FemoralArtery and VastusLateralisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1867-1867 | suppliesBlood FemoralArtery and VastusMedialisMuscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1768-1768 | connectedBodyPartTypes DeepExternalPudendalArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1773-1773 | connectedBodyPartTypes DeepFemoralArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1840-1840 | connectedBodyPartTypes DescendingGenicularArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1858-1858 | connectedBodyPartTypes PoplitealArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1758-1758 | connectedBodyPartTypes SuperficialCircumflexIliacArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1753-1753 | connectedBodyPartTypes SuperficialEpigastricArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1763-1763 | connectedBodyPartTypes SuperficialExternalPudendalArtery, FemoralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1745-1745 |
|
|
|