(subclass CerebralArtery Artery) | arteries.kif 339-339 | CerebralArtery は Artery の subclass では %n |
(subclass AnteriorCerebralArtery CerebralArtery) | arteries.kif 343-343 | AnteriorCerebralArtery は CerebralArtery の subclass では %n |
(subclass MiddleCerebralArtery CerebralArtery) | arteries.kif 350-350 | MiddleCerebralArtery は CerebralArtery の subclass では %n |
(subclass AnteriorInferiorCerebellarArtery CerebralArtery) | arteries.kif 816-816 | AnteriorInferiorCerebellarArtery は CerebralArtery の subclass では %n |