Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WaterMotion
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WaterMotion LiquidMotion) | Merge.kif 11484-11484 | Water motion is a subclass of liquid motion |
| (documentation WaterMotion EnglishLanguage "Any LiquidMotion where the Liquid is Water.") | Merge.kif 11486-11487 | Water motion is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain flowCurrent 1 WaterMotion) | Geography.kif 7158-7158 | The number 1 argument of flow current is an instance of water motion |
| antecedent |
|
|
| (=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water)))) |
Merge.kif 11489-11494 | If X is an instance of water motion, then there exists Y such that Y is a patient of X and Y is an instance of water |
| (=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above)) |
Geography.kif 7161-7170 | If All of the following hold: (1) X is an instance of waterfall (2) Y is an instance of water motion (3) X is a flow current of Y (4) Y originates at Z (5) Y ends up at W (6) Z is an instance of water area (7) W is an instance of water area, then Z is above to W |
| consequent |
|
|
| (=> (instance ?SHOWER Shower) (hasPurpose ?SHOWER (exists (?SPRAY) (and (instance ?SPRAY WaterMotion) (origin ?SPRAY ?SHOWER))))) |
Mid-level-ontology.kif 2628-2634 | If X is an instance of shower, then X has the purpose there exists Y such that Y is an instance of water motion and Y originates at X |
| (=> (instance ?W WaterSprinkler) (hasPurpose ?W (exists (?WM) (and (instance ?WM WaterMotion) (origin ?WM ?W))))) |
Mid-level-ontology.kif 27747-27753 | If X is an instance of water sprinkler, then X has the purpose there exists Y such that Y is an instance of water motion and Y originates at X |
| (=> (instance ?X FireSprinklerSystem) (exists (?FIRE ?DISCOVER ?WM) (and (instance ?DISCOVER Discovering) (instance ?FIRE Fire) (instrument ?DISCOVER ?X) (patient ?DISCOVER ?FIRE) (instance ?WM WaterMotion) (origin ?WM ?X) (causes ?DISCOVER ?WM)))) |
Mid-level-ontology.kif 27769-27779 | If X is an instance of sprinkler system, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of discovering (3) Y is an instance of fire (4) X is an instrument for Z (5) Y is a patient of Z (6) W is an instance of water motion (7) W originates at X (8) Z causes W |
| (=> (instance ?TW TapWater) (exists (?LM ?F) (and (instance ?LM WaterMotion) (patient ?LM ?TW) (origin ?LM ?F) (instance ?F Faucet)))) |
Food.kif 277-284 | If X is an instance of tap water, then there exist Y, Z such that Y is an instance of water motion, X is a patient of Y, Y originates at Z, and Z is an instance of faucet |
| (=> (instance ?FLOOD FlashFlooding) (exists (?WATER ?HOUR) (and (instance ?WATER WaterMotion) (causes ?WATER ?FLOOD) (meetsTemporally (WhenFn ?WATER) (WhenFn ?FLOOD)) (duration (WhenFn ?WATER) (MeasureFn ?HOUR HourDuration)) (lessThan ?HOUR 6.0)))) |
Weather.kif 2939-2951 | If X is an instance of flash flooding, then there exist Y and Z such that Y is an instance of water motion and Y causes X and the time of existence of Y meets the time of existence of X and duration of the time of existence of Y is Z hour duration(s) and Z is less than 6.0 |
|