(=>
(instance ?S Sinking)
(exists (?W)
(and
(instance ?W WaterArea)
(eventLocated ?S ?W)))) |
Mid-level-ontology.kif 13111-13116 |
|
(=>
(instance ?SCUBA ScubaDiving)
(exists (?WATER ?DEVICE ?BREATH)
(and
(instance ?WATER WaterArea)
(orientation ?SCUBA ?WATER Below)
(instance ?DEVICE Device)
(instance ?BREATH Breathing)
(instrument ?BREATH ?DEVICE)
(subProcess ?BREATH ?SCUBA)))) |
Mid-level-ontology.kif 26902-26911 |
|
(=>
(instance ?SEA Sea)
(exists (?OCEAN ?PATH)
(and
(instance ?OCEAN Ocean)
(instance ?PATH WaterArea)
(connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4783-4789 |
|
(=>
(instance ?SKI WaterSki)
(hasPurpose ?SKI
(exists (?GLIDE ?WATER)
(and
(instance ?WATER WaterArea)
(instance ?GLIDE Transportation)
(instrument ?GLIDE ?SKI)
(eventLocated ?GLIDE ?WATER))))) |
Sports.kif 1230-1238 |
|
(=>
(instance ?TRANSPORT WaterTransportation)
(exists (?CRAFT ?AREA)
(and
(instance ?CRAFT WaterVehicle)
(instance ?AREA WaterArea)
(instrument ?TRANSPORT ?CRAFT)
(eventLocated ?TRANSPORT ?AREA)))) |
Mid-level-ontology.kif 17743-17750 |
|
(=>
(instance ?WAVE WaterWave)
(exists (?AREA)
(and
(instance ?AREA WaterArea)
(eventLocated ?WAVE ?AREA)))) |
Mid-level-ontology.kif 17558-17563 |
|
(=>
(instance ?X WaterSkiing)
(exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(and
(instance ?BOAT WaterVehicle)
(instance ?WATER WaterArea)
(instance ?SKI WaterSki)
(eventLocated ?X ?WATER)
(instance ?HUMAN Human)
(located ?HUMAN ?SKI)
(connects ?LINE ?HUMAN ?BOAT)
(instance ?TRANS Transportation)
(instrument ?TRANS ?BOAT)
(instance ?MOTION Motion)
(agent ?MOTION ?HUMAN)
(instrument ?MOTION ?SKI)
(causes ?TRANS ?MOTION)
(subProcess ?MOTION ?X)))) |
Sports.kif 1246-1263 |
- If a process is an instance of water skiing,
- then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
|
(=>
(instance ?X WaterSport)
(exists (?W)
(and
(or
(instance ?W WaterArea)
(and
(instance ?W FluidContainer)
(exists (?WATER)
(and
(instance ?WATER Water)
(located ?WATER ?W)))))
(eventLocated ?X ?W)))) |
Sports.kif 1211-1223 |
|
(=>
(instance ?X WindSurfing)
(exists (?BOARD ?WATER ?MOTION ?WIND)
(and
(instance ?BOARD WindSurfingBoard)
(instance ?WATER WaterArea)
(instance ?WIND Wind)
(instance ?MOTION Motion)
(eventLocated ?X ?WATER)
(subProcess ?MOTION ?X)
(instrument ?MOTION ?BOARD)
(causes ?WIND ?MOTION)))) |
Sports.kif 1304-1315 |
|
(=>
(streamOutfall ?MOUTH ?RIVER)
(exists (?WATER)
(and
(instance ?WATER WaterArea)
(flows ?RIVER ?WATER)
(connected ?MOUTH ?WATER)))) |
Geography.kif 5693-5699 |
|