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 |