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 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 446-446 | connectedBodyPartTypes FacialArtery, AscendingPalatineArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 471-471 | connectedBodyPartTypes FacialArtery, GlandularBranchArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 479-479 | connectedBodyPartTypes FacialArtery, InferiorLabialArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 493-493 | connectedBodyPartTypes FacialArtery, LateralNasalBranchArtery and 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 456-456 | connectedBodyPartTypes FacialArtery, SubmentalArtery and 人类 |
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 451-451 | connectedBodyPartTypes FacialArtery, TonsillarBranchArtery and 人类 |
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 是 动脉 的 subclass |
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 人类 |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | AngularArteryTerminalBranch 是 FacialArtery 的 subclass |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 475-475 | InferiorLabialArtery 是 FacialArtery 的 subclass |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 489-489 | LateralNasalBranchArtery 是 FacialArtery 的 subclass |
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 600-600 | suppliesBlood OccipitalArtery and FacialArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 433-433 |