(subclass AgentPoweredVehicle Vehicle) | Transportation.kif 1811-1811 | Agent powered vehicle is a subclass of vehicle |
(subclass Cycle AgentPoweredVehicle) | Transportation.kif 1924-1924 | Cycle is a subclass of agent powered vehicle |
(subclass Scooter AgentPoweredVehicle) | Transportation.kif 1945-1945 | Scooter is a subclass of agent powered vehicle |
(subclass Canoe AgentPoweredVehicle) | Transportation.kif 2500-2500 | Canoe is a subclass of agent powered vehicle |
(subclass Kayak AgentPoweredVehicle) | Transportation.kif 2503-2503 | Kayak is a subclass of agent powered vehicle |