(=>
(instance ?T Truck)
(exists (?L)
(and
(subclass ?L Object)
(cargoType ?T ?L)))) |
Transportation.kif 2179-2184 |
If X is an instance of truck, then there exists Y such that Y is a subclass of object and Y is a cargo type of X |
(=>
(instance ?SHIP PassengerShip)
(cargoType ?SHIP Human)) |
Transportation.kif 2496-2498 |
If X is an instance of passenger ship, then human is a cargo type of X |
(=>
(instance ?SHIP GeneralCargoShip)
(cargoType ?SHIP Product)) |
Transportation.kif 2503-2505 |
If X is an instance of general cargo ship, then product is a cargo type of X |
(=>
(instance ?SHIP LivestockCarrierShip)
(cargoType ?SHIP Livestock)) |
Transportation.kif 2513-2515 |
If X is an instance of livestock carrier ship, then livestock is a cargo type of X |
(=>
(instance ?SHIP ContainerShip)
(cargoType ?SHIP ShipContainer)) |
Transportation.kif 2518-2520 |
If X is an instance of container ship, then ship container is a cargo type of X |
(=>
(instance ?SHIP VehicleCarrierShip)
(cargoType ?SHIP Vehicle)) |
Transportation.kif 2533-2535 |
If X is an instance of vehicle carrier ship, then vehicle is a cargo type of X |
(=>
(instance ?SHIP RailcarCarrierShip)
(cargoType ?SHIP RollingStock)) |
Transportation.kif 2541-2543 |
If X is an instance of railcar carrier ship, then rolling stock is a cargo type of X |
(=>
(instance ?SHIP PetroleumTankerShip)
(cargoType ?SHIP PetroleumProduct)) |
Transportation.kif 2553-2555 |
If X is an instance of petroleum tanker ship, then petroleum product is a cargo type of X |
(=>
(instance ?SHIP ChemicalTankerShip)
(cargoType ?SHIP ChemicalProduct)) |
Transportation.kif 2560-2562 |
If X is an instance of chemical tanker ship, then chemical product is a cargo type of X |
(=>
(instance ?SHIP LiquefiedGasTankerShip)
(cargoType ?SHIP ChemicalProduct)) |
Transportation.kif 2571-2573 |
If X is an instance of liquefied gas tanker ship, then chemical product is a cargo type of X |
(=>
(instance ?SHIP LiquefiedGasTankerShip)
(cargoType ?SHIP
(ExtensionFn Liquid))) |
Transportation.kif 2575-2577 |
If X is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of X |
(=>
(instance ?SHIP CombinationBulkOilCarrierShip)
(cargoType ?SHIP Object)) |
Transportation.kif 2588-2590 |
If X is an instance of combination bulk oil carrier ship, then object is a cargo type of X |
(=>
(instance ?SHIP CombinationBulkOilCarrierShip)
(cargoType ?SHIP Petroleum)) |
Transportation.kif 2592-2594 |
If X is an instance of combination bulk oil carrier ship, then petroleum is a cargo type of X |
(=>
(instance ?SHIP CombinationOreOilCarrierShip)
(cargoType ?SHIP Mineral)) |
Transportation.kif 2598-2600 |
If X is an instance of combination ore- oil carrier ship, then mineral is a cargo type of X |
(=>
(instance ?SHIP CombinationOreOilCarrierShip)
(cargoType ?SHIP Petroleum)) |
Transportation.kif 2602-2604 |
If X is an instance of combination ore- oil carrier ship, then petroleum is a cargo type of X |
(=>
(instance ?SHIP SpecializedTankerShip)
(cargoType ?SHIP
(ExtensionFn Fluid))) |
Transportation.kif 2616-2618 |
If X is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of X |
