| 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. | arteries.kif 475-475 | InferiorLabialArtery 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. | arteries.kif 489-489 | LateralNasalBranchArtery e' uma sub-classe de FacialArtery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | AngularArteryTerminalBranch e' uma sub-classe de FacialArtery |
|
|