(=>
(and
(instance ?WATER BodyOfWater)
(not
(instance ?WATER Ocean))
(instance ?OCEAN Ocean))
(larger ?OCEAN ?WATER)) |
Geography.kif 6065-6070 |
If X is an instance of body of water, X is not an instance of ocean, and Y is an instance of ocean, then Y is larger than X |
(=>
(and
(instance ?GULF Gulf)
(instance ?BAY Bay))
(larger ?GULF ?BAY)) |
Geography.kif 6701-6705 |
If X is an instance of gulf and Y is an instance of bay, then X is larger than Y |
(=>
(and
(instance ?COVE Cove)
(instance ?BAY Bay))
(larger ?BAY ?COVE)) |
Geography.kif 6863-6867 |
If X is an instance of cove and Y is an instance of bay, then Y is larger than X |
(=>
(and
(instance ?body1 BodyOfWater)
(instance ?body2 BodyOfWater)
(connects ?strait ?body1 ?body2))
(larger ?body1 ?strait)) |
Geography.kif 6898-6903 |
If X is an instance of body of water, Y is an instance of body of water, and Z connects X and Y, then X is larger than Z |
(=>
(and
(instance ?CHANNEL Channel)
(instance ?BODY BodyOfWater)
(connected ?CHANNEL ?BODY))
(larger ?BODY ?CHANNEL)) |
Geography.kif 6935-6940 |
If X is an instance of channel, Y is an instance of body of water, and X is connected to Y, then Y is larger than X |
