|
|
   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 |
|
|
|
