(subclass Cycling LandTransportation) | Transportation.kif 1931-1931 | Cycling is a subclass of land transportation |
(subclass CycleRacing Cycling) | Sports.kif 99-99 | Cycle racing is a subclass of cycling |
(subclass MountainBiking Cycling) | Sports.kif 101-101 | Mountain biking is a subclass of cycling |