No TPTP formula. May not be expressible in strict first order. | arteries.kif 791-791 | CerebellarArtery est une sous-classe de Artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 796-796 | PosteriorInferiorCerebellarArtery est une sous-classe de CerebellarArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 801-801 | PosteriorInferiorCerebellarMedialBranchArtery est une sous-classe de CerebellarArtery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 806-806 | PosteriorInferiorCerebellarLateralBranchArtery est une sous-classe de CerebellarArtery |
![]() |