(=>
(instance ?CRAFT WaterVehicle)
(capability WaterTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 19672-19674 |
If X is an instance of water vehicle, then X is capable of doing water transportation as a instrument |
(=>
(instance ?P Waterway)
(hasPurpose ?P
(exists (?T)
(and
(instance ?T WaterTransportation)
(path ?T ?P))))) |
Geography.kif 7182-7188 |
If X is an instance of waterway, then X has the purpose there exists Y such that Y is an instance of water transportation and X is path along which Y occurs |
(=>
(maritimeHazard ?A ?B)
(exists (?SAIL ?WATER)
(and
(instance ?SAIL WaterTransportation)
(instrument ?SAIL ?B)
(eventLocated ?SAIL ?WATER)
(located ?A ?WATER)
(hazardous ?A ?B)))) |
Geography.kif 7497-7505 |
If X is hazardous to Y., then there exist Z, W such that Z is an instance of water transportation, Y is an instrument for Z, Z is located at W, X is located at W, and X is hazardous to Y |
(=>
(instance ?LAND LandingWaterLand)
(exists (?REGION ?WATERTRANS)
(and
(instance ?REGION LandArea)
(destination ?LAND ?REGION)
(subProcess ?WATERTRANS ?LAND)
(instance ?WATERTRANS WaterTransportation)))) |
MilitaryProcesses.kif 833-840 |
If X is an instance of landing water land, then there exist Y, Z such that Y is an instance of land area, X ends up at Y, Z is a subprocess of X, and Z is an instance of water transportation |
(=>
(instance ?SERVICE WaterTransportationService)
(exists (?WATER ?VEHICLE)
(and
(instance ?WATER WaterTransportation)
(instance ?VEHICLE WaterVehicle)
(instrument ?WATER ?VEHICLE)
(subProcess ?WATER ?SERVICE)))) |
Transportation.kif 5068-5075 |
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 |
WaterTransportation