(=> (and (subclass ?TYPE TransportationDevice) (subclass (TransportationFn ?TYPE) Transportation) (instance ?TRIP (TransportationFn ?TYPE))) (exists (?VEHICLE) (and (instance ?VEHICLE ?TYPE) (instrument ?TRIP ?VEHICLE)))) |
Transportation.kif 1572-1580 | |
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea)) |
Transportation.kif 2293-2298 |