| No TPTP formula. May not be expressible in strict first order. | arteries.kif 432-432 | FacialArtery est une sous-classe de Artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 475-475 | InferiorLabialArtery est une sous-classe de FacialArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 482-482 | SuperiorLabialArtery est une sous-classe de FacialArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 489-489 | LateralNasalBranchArtery est une sous-classe de FacialArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | AngularArteryTerminalBranch est une sous-classe de FacialArtery |
|
|