FacialArtery
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 500-500 | connectedBodyPartTypes FacialArtery, AngularArteryTerminalBranch and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 446-446 | connectedBodyPartTypes FacialArtery, AscendingPalatineArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 471-471 | connectedBodyPartTypes FacialArtery, GlandularBranchArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 479-479 | connectedBodyPartTypes FacialArtery, InferiorLabialArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 493-493 | connectedBodyPartTypes FacialArtery, LateralNasalBranchArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 456-456 | connectedBodyPartTypes FacialArtery, SubmentalArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 486-486 | connectedBodyPartTypes FacialArtery, SuperiorLabialArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 451-451 | connectedBodyPartTypes FacialArtery, TonsillarBranchArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 434-434 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 473-473 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 432-432 | 子類 FacialArtery and 動脈 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 262-262 | suppliesBlood FacialArtery and DepressorAnguliOrisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 253-253 | suppliesBlood FacialArtery and LevatorAngulaOrisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 459-459 | suppliesBlood FacialArtery and LevatorVeliPalatiniMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 473-473 | suppliesBlood FacialArtery and PalatopharyngeusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 211-211 | suppliesBlood FacialArtery and ProcerusMuscleMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 314-314 | suppliesBlood FacialArtery and RisoriusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 322-322 | suppliesBlood FacialArtery and ZygomaticMajorMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 330-330 | suppliesBlood FacialArtery and ZygomaticMinorMuscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and Human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | 子類 AngularArteryTerminalBranch and FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 475-475 | 子類 InferiorLabialArtery and FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 489-489 | 子類 LateralNasalBranchArtery and FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 482-482 | 子類 SuperiorLabialArtery and FacialArtery |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 600-600 | suppliesBlood OccipitalArtery and FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 433-433 |