(=>
(instance ?AREA LandlockedArea)
(not
(exists (?WATER ?SEA)
(and
(instance ?WATER SaltWaterArea)
(part ?WATER ?SEA)
(instance ?SEA Ocean)
(meetsSpatially ?AREA ?WATER))))) |
Geography.kif 2400-2408 |
If X is an instance of landlocked area, then there don't exist Y, Z such that Y is an instance of salt water area, Y is a part of Z, Z is an instance of ocean, and X meets Y |
(=>
(instance ?SW SeaWater)
(exists (?S)
(and
(located ?SW ?S)
(instance ?S SaltWaterArea)))) |
Geography.kif 4261-4266 |
If X is an instance of sea water, then there exists Y such that X is located at Y and Y is an instance of salt water area |
(<=>
(attribute ?WATER OpenSea)
(exists (?LAND ?DIST)
(and
(instance ?WATER SaltWaterArea)
(not
(instance ?WATER LandlockedWater))
(distance ?LAND ?WATER
(MeasureFn ?DIST NauticalMile))
(greaterThan ?DIST 5.0)))) |
Geography.kif 6253-6262 |
Open sea is an attribute of X if and only if there exist Y and Z such that X is an instance of salt water area and X is not an instance of landlocked water and the distance between Y and X is Z nautical mile(s) and Z is greater than 5.0 |
(=>
(instance ?GULF Gulf)
(exists (?WATER)
(and
(instance ?WATER SaltWaterArea)
(properPart ?GULF ?WATER)))) |
Geography.kif 6694-6699 |
If X is an instance of gulf, then there exists Y such that Y is an instance of salt water area and X is a proper part of Y |
(=>
(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 ?INLET Inlet)
(meetsSpatially ?INLET ?WATER)
(instance ?WATER SaltWaterArea))
(instance ?INLET SaltWaterArea)) |
Geography.kif 6832-6837 |
If X is an instance of inlet, X meets Y, and Y is an instance of salt water area, then X is an instance of salt water area |
(=>
(and
(instance ?COAST Seacoast)
(instance ?WATER WaterArea)
(orientation ?WATER ?COAST Adjacent))
(instance ?WATER SaltWaterArea)) |
Geography.kif 7726-7731 |
If X is an instance of seacoast, Y is an instance of water area, and Y is adjacent to X, then Y is an instance of salt water area |
NitricOxide
