|
|
   AnteriorTibialArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1863-1863 | connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1861-1861 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1859-1859 | AnteriorTibialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1991-1991 | suppliesBlood AnteriorTibialArtery and ExtensorDigitorumLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1982-1982 | suppliesBlood AnteriorTibialArtery and ExtensorHallucisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2000-2000 | suppliesBlood AnteriorTibialArtery and FibularisTertiusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1971-1971 | suppliesBlood AnteriorTibialArtery and TibialisAnteriorMuscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1885-1885 | connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1880-1880 | connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1873-1873 | connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1890-1890 | connectedBodyPartTypes DorsalisPedisArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1875-1875 | connectedBodyPartTypes MuscularBranchArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1868-1868 | connectedBodyPartTypes PostTibialRecurrentArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1860-1860 |
|
|
|