(=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L)))) |
Transportation.kif 2159-2164 |
|
(subclass Truck SelfPoweredRoadVehicle) | Transportation.kif 2149-2149 | Truck is a subclass of self powered road vehicle |
(subclass Truck CargoVehicle) | Transportation.kif 2150-2150 | Truck is a subclass of cargo vehicle |
(subclass LightTruck Truck) | Transportation.kif 2011-2011 | Light truck is a subclass of truck |
(subclass TruckTractor Truck) | Transportation.kif 2166-2166 | Truck tractor is a subclass of truck |
(subclass MilitarySupplyTruck Truck) | Military.kif 283-283 | Military supply truck is a subclass of truck |
![]() |