consequent

(=>     (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

Show simplified definition (without tree view)
Show simplified definition (with tree view)