(subclass GonadalArtery Artery) | arteries.kif 1483-1483 | GonadalArtery は Artery の subclass では %n |
(subclass TesticularArtery GonadalArtery) | arteries.kif 1489-1489 | TesticularArtery は GonadalArtery の subclass では %n |
(subclass OvarianArtery GonadalArtery) | arteries.kif 1494-1494 | OvarianArtery は GonadalArtery の subclass では %n |