| (subclass AgentPoweredVehicle Vehicle) | Transportation.kif 1811-1811 | AgentPoweredVehicle は Vehicle の subclass では %n |
| (subclass Cycle AgentPoweredVehicle) | Transportation.kif 1924-1924 | Cycle は AgentPoweredVehicle の subclass では %n |
| (subclass Scooter AgentPoweredVehicle) | Transportation.kif 1945-1945 | Scooter は AgentPoweredVehicle の subclass では %n |
| (subclass Canoe AgentPoweredVehicle) | Transportation.kif 2500-2500 | Canoe は AgentPoweredVehicle の subclass では %n |
| (subclass Kayak AgentPoweredVehicle) | Transportation.kif 2503-2503 | Kayak は AgentPoweredVehicle の subclass では %n |
|
|