(subclass RunningARace Racing) | Sports.kif 259-259 | RunningARace est une sous-classe de Racing |
(subclass Marathon RunningARace) | Sports.kif 275-275 | Marathon est une sous-classe de RunningARace |
(subclass HalfMarathon RunningARace) | Sports.kif 290-290 | HalfMarathon est une sous-classe de RunningARace |