| (=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L)))) |
Transportation.kif 2019-2024 | |
| (subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 2009-2009 | Truck は SelfPoweredRoadVehicle の subclass では %n |
| (subclass Truck CargoVehicle) | Transportation.kif 2010-2010 | Truck は CargoVehicle の subclass では %n |
| (subclass LightTruck Truck) | Transportation.kif 1871-1871 | LightTruck は Truck の subclass では %n |
| (subclass TruckTractor Truck) | Transportation.kif 2026-2026 | TruckTractor は Truck の subclass では %n |
| (subclass MilitarySupplyTruck Truck) | Military.kif 206-206 | MilitarySupplyTruck は Truck の subclass では %n |
|
|