(=>
(instance ?AREA Continent)
(meetsSpatially ?AREA WorldOcean)) |
Geography.kif 6050-6052 |
If X is an instance of continent, then X meets world ocean |
(=>
(instance ?OCEAN Ocean)
(properPart ?OCEAN WorldOcean)) |
Geography.kif 6072-6074 |
If X is an instance of ocean, then X is a proper part of world ocean |
(=>
(instance ?SEA Sea)
(properPart ?SEA WorldOcean)) |
Geography.kif 6321-6323 |
If X is an instance of sea, then X is a proper part of world ocean |
(=>
(instance ?WATER Estuary)
(exists (?SEA)
(and
(instance ?SEA SaltWaterArea)
(part ?SEA WorldOcean)
(connected ?SEA ?WATER)))) |
Geography.kif 6780-6786 |
If X is an instance of estuary, then there exists Y such that Y is an instance of salt water area, Y is a part of world ocean, and Y is connected to 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 |
WorldOcean