(subclass RunningARace Racing) | Sports.kif 259-259 | RunningARace は Racing の subclass では %n |
(subclass Marathon RunningARace) | Sports.kif 275-275 | Marathon は RunningARace の subclass では %n |
(subclass HalfMarathon RunningARace) | Sports.kif 290-290 | HalfMarathon は RunningARace の subclass では %n |