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 Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 446-446 | connectedBodyPartTypes FacialArtery, AscendingPalatineArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 471-471 | connectedBodyPartTypes FacialArtery, GlandularBranchArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 479-479 | connectedBodyPartTypes FacialArtery, InferiorLabialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 493-493 | connectedBodyPartTypes FacialArtery, LateralNasalBranchArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 456-456 | connectedBodyPartTypes FacialArtery, SubmentalArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 486-486 | connectedBodyPartTypes FacialArtery, SuperiorLabialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 451-451 | connectedBodyPartTypes FacialArtery, TonsillarBranchArtery and Humano |
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 e' uma sub-classe de Artery |
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 Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | AngularArteryTerminalBranch e' uma sub-classe de FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 475-475 | InferiorLabialArtery e' uma sub-classe de FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 489-489 | LateralNasalBranchArtery e' uma sub-classe de FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 482-482 | SuperiorLabialArtery e' uma sub-classe de 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 |