| 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 30980-30983 | |
| (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 1689-1689 | |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 30979-30979 |
| appearance as argument number 2 |
|
|
| (names "freighter" CargoShip) | Transportation.kif 2491-2491 | |
| (subclass BargeCarrierShip CargoShip) | Transportation.kif 2500-2500 | |
| (subclass ChemicalTankerShip CargoShip) | Transportation.kif 2546-2546 | |
| (subclass CombinationBulkCarrierShip CargoShip) | Transportation.kif 2570-2570 | |
| (subclass ContainerShip CargoShip) | Transportation.kif 2507-2507 | |
| (subclass DryBulkCarrierShip CargoShip) | Transportation.kif 2593-2593 | |
| (subclass GeneralCargoShip CargoShip) | Transportation.kif 2490-2490 | |
| (subclass LiquefiedGasTankerShip CargoShip) | Transportation.kif 2557-2557 | |
| (subclass LivestockCarrierShip CargoShip) | Transportation.kif 2502-2502 | |
| (subclass MultifunctionalLargeLoadCarrierShip CargoShip) | Transportation.kif 2534-2534 | |
| (subclass OceanLiner CargoShip) | Transportation.kif 2674-2674 | |
| (subclass PassengerAndCargoShip CargoShip) | Transportation.kif 2608-2608 | |
| (subclass PetroleumTankerShip CargoShip) | Transportation.kif 2538-2538 | |
| (subclass RefrigeratedCargoShip CargoShip) | Transportation.kif 2512-2512 | |
| (subclass RollOnRollOffCargoShip CargoShip) | Transportation.kif 2515-2515 | |
| (subclass SpecializedTankerShip CargoShip) | Transportation.kif 2602-2602 | |
| (termFormat ChineseLanguage CargoShip "货船") | domainEnglishFormat.kif 13251-13251 | |
| (termFormat ChineseTraditionalLanguage CargoShip "貨船") | domainEnglishFormat.kif 13250-13250 | |
| (termFormat EnglishLanguage CargoShip "cargo ship") | domainEnglishFormat.kif 13249-13249 |
| 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 30985-30994 |
| 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 |
|
|
|