(subclass BaseballRun BaseballHit) | Sports.kif 702-702 | BaseballRun は BaseballHit の subclass では %n |
(subclass BaseballRun Score) | Sports.kif 703-703 | BaseballRun は Score の subclass では %n |
(subclass HomeRun BaseballRun) | Sports.kif 708-708 | HomeRun は BaseballRun の subclass では %n |