| (=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L)))) |
Transportation.kif 1983-1988 | |
| (subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 1973-1973 | |
| (subclass Truck CargoVehicle) | Transportation.kif 1974-1974 | |
| (subclass LightTruck Truck) | Transportation.kif 1835-1835 | |
| (subclass TruckTractor Truck) | Transportation.kif 1990-1990 | |
| (subclass MilitarySupplyTruck Truck) | Military.kif 206-206 |
|
|