(=>
(instance ?SERVICE WaterTransportationService)
(exists (?WATER ?VEHICLE)
(and
(instance ?WATER WaterTransportation)
(instance ?VEHICLE WaterVehicle)
(instrument ?WATER ?VEHICLE)
(subProcess ?WATER ?SERVICE)))) |
Transportation.kif 5029-5036 |
If X is an instance of Water Transportation Service, then there exist Y, Z such that Y is an instance of water transportation, Z is an instance of water vehicle, Z is an instrument for Y, and Y is a subprocess of X |
(=>
(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 8136-8147 |
If X is an instance of Water Transportation Service, Y provides a service during X, and deep sea freight transportation is an attribute of Y, then there exist Z, W such that Z is a subprocess of X, Z is an instance of water transportation, W is an instrument for Z, W is an instance of cargo ship, and Z is located at world ocean |
(=>
(and
(instance ?X WaterTransportationService)
(serviceProvider ?X ?Y)
(attribute ?Y DeepSeaPassengerTransportation))
(exists (?CRUISE ?SHIP)
(and
(subProcess ?CRUISE ?X)
(instance ?CRUISE WaterTransportation)
(instrument ?CRUISE ?SHIP)
(instance ?SHIP PassengerShip)
(eventLocated ?CRUISE WorldOcean)
(not
(exists (?FERRY)
(and
(instance ?FERRY ShortSeaPassengerShip)
(equal ?SHIP ?FERRY))))))) |
naics.kif 8156-8172 |
If X is an instance of Water Transportation Service, Y provides a service during X, and deep sea passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z (2) W such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at world ocean (7) there doesn't exist V such that V is an instance of short sea passenger ship (8) equal W (9) V |
(=>
(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 8181-8194 |
If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes freight transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of cargo ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states |
(=>
(and
(instance ?X WaterTransportationService)
(serviceProvider ?X ?Y)
(attribute ?Y CoastalAndGreatLakesPassengerTransportation))
(exists (?CRUISE ?SHIP ?WATER)
(and
(subProcess ?CRUISE ?X)
(instance ?CRUISE WaterTransportation)
(instrument ?CRUISE ?SHIP)
(instance ?SHIP PassengerShip)
(eventLocated ?CRUISE ?WATER)
(instance ?WATER WaterArea)
(geographicSubregion ?WATER UnitedStates)
(not
(exists (?FERRY)
(and
(instance ?FERRY ShortSeaPassengerShip)
(equal ?SHIP ?FERRY))))))) |
naics.kif 8204-8222 |
If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states (9) there doesn't exist U such that U is an instance of short sea passenger ship (10) equal W (11) U |
