|
|
   CargoShip
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CargoShip EnglishLanguage "CargoShip is the subclass of Ships that transport goods in exchange for payment. CargoShip includes ships that carry all kinds of cargo, including oil and bulk products as well as packaged, palletized, or containerized goods.") | Mid-level-ontology.kif 30087-30090 | |
| (externalImage CargoShip "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ Cargo_Ship_08.png") | pictureList.kif 323-323 | |
| (externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") | pictureList.kif 1690-1690 | |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 30086-30086 |
| appearance as argument number 2 |
|
|
| (names "freighter" CargoShip) | Transportation.kif 2322-2322 | |
| (subclass BargeCarrierShip CargoShip) | Transportation.kif 2331-2331 | |
| (subclass ChemicalTankerShip CargoShip) | Transportation.kif 2377-2377 | |
| (subclass CombinationBulkCarrierShip CargoShip) | Transportation.kif 2401-2401 | |
| (subclass ContainerShip CargoShip) | Transportation.kif 2338-2338 | |
| (subclass DryBulkCarrierShip CargoShip) | Transportation.kif 2424-2424 | |
| (subclass GeneralCargoShip CargoShip) | Transportation.kif 2321-2321 | |
| (subclass LiquefiedGasTankerShip CargoShip) | Transportation.kif 2388-2388 | |
| (subclass LivestockCarrierShip CargoShip) | Transportation.kif 2333-2333 | |
| (subclass MultifunctionalLargeLoadCarrierShip CargoShip) | Transportation.kif 2365-2365 | |
| (subclass OceanLiner CargoShip) | Transportation.kif 2505-2505 | |
| (subclass PassengerAndCargoShip CargoShip) | Transportation.kif 2439-2439 | |
| (subclass PetroleumTankerShip CargoShip) | Transportation.kif 2369-2369 | |
| (subclass RefrigeratedCargoShip CargoShip) | Transportation.kif 2343-2343 | |
| (subclass RollOnRollOffCargoShip CargoShip) | Transportation.kif 2346-2346 | |
| (subclass SpecializedTankerShip CargoShip) | Transportation.kif 2433-2433 | |
| (termFormat ChineseLanguage CargoShip "货船") | domainEnglishFormat.kif 13236-13236 | |
| (termFormat ChineseTraditionalLanguage CargoShip "貨船") | domainEnglishFormat.kif 13235-13235 | |
| (termFormat EnglishLanguage CargoShip "cargo ship") | domainEnglishFormat.kif 13234-13234 |
| antecedent |
|
|
| (=> (instance ?F CargoShip) (exists (?T ?OBJ) (and (instance ?T Shipping) (instance ?OBJ Object) (hasPurpose ?F (and (instrument ?T ?F) (patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 30092-30101 |
| consequent |
|
|
| (=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y CoastalAndGreatLakesFreightTransportation)) (exists (?FREIGHT ?SHIP ?WATER) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT ?WATER) (instance ?WATER WaterArea) (geographicSubregion ?WATER UnitedStates)))) |
naics.kif 8184-8197 | |
| (=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y DeepSeaFreightTransportation)) (exists (?FREIGHT ?SHIP) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT WorldOcean)))) |
naics.kif 8139-8150 |
|
|
|
