| (=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L)))) |
Transportation.kif 2009-2014 |
|
| (subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 1999-1999 | Truck is a subclass of self powered road vehicle |
| (subclass Truck CargoVehicle) | Transportation.kif 2000-2000 | Truck is a subclass of cargo vehicle |
| (subclass LightTruck Truck) | Transportation.kif 1861-1861 | Light truck is a subclass of truck |
| (subclass TruckTractor Truck) | Transportation.kif 2016-2016 | Truck tractor is a subclass of truck |
| (subclass MilitarySupplyTruck Truck) | Military.kif 206-206 | Military supply truck is a subclass of truck |
|
|