(subclass RunningARace Racing) | Sports.kif 259-259 | Running a race is a subclass of racing |
(subclass Marathon RunningARace) | Sports.kif 275-275 | Marathon is a subclass of running a race |
(subclass HalfMarathon RunningARace) | Sports.kif 290-290 | Half-marathon is a subclass of running a race |