|
|
   SuperiorLabialArtery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 484-484 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 487-487 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 482-482 | SuperiorLabialArtery 是 FacialArtery 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 245-245 | suppliesBlood SuperiorLabialArtery and AlarPartDilatorNarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 221-221 | suppliesBlood SuperiorLabialArtery and DepressorSeptiNasiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 229-229 | suppliesBlood SuperiorLabialArtery and LevatorLabiiSuperiorisAlaequeNasiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 270-270 | suppliesBlood SuperiorLabialArtery and LevatorLabiiSuperiorisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 237-237 | suppliesBlood SuperiorLabialArtery and TransversePartCompressorNarisMuscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 486-486 | connectedBodyPartTypes FacialArtery, SuperiorLabialArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 483-483 |
|
|
|
