(subclass FootballManeuver Maneuver) | Sports.kif 815-815 | Football maneuver is a subclass of maneuver |
(subclass FootballPass FootballManeuver) | Sports.kif 824-824 | Football pass is a subclass of football maneuver |
(subclass FootballTouchdown FootballManeuver) | Sports.kif 846-846 | Football touchdown is a subclass of football maneuver |