(subclass BaseballRun BaseballHit) | Sports.kif 702-702 | BaseballRun est une sous-classe de BaseballHit |
(subclass BaseballRun Score) | Sports.kif 703-703 | BaseballRun est une sous-classe de Score |
(subclass HomeRun BaseballRun) | Sports.kif 708-708 | HomeRun est une sous-classe de BaseballRun |