| 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. | arteries.kif 475-475 | 子類 InferiorLabialArtery 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. | arteries.kif 489-489 | 子類 LateralNasalBranchArtery and FacialArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | 子類 AngularArteryTerminalBranch and FacialArtery |
|
|