| LiquidMotion(liquid motion) | | breathe, countercurrent, course, crosscurrent, debris_storm, debris_surge, drain, drippage, dripping, feed, flow, flowing, flux, fluxion, gush, ooze, pour, regurgitate, rip, riptide, run, run_out, rush, sea-poose, sea-purse, sea-puss, sea_purse, sea_puss, seep, spate, spin, spirt, spout, spurt, stream, surge, tide_rip, undercurrent, undertide, undertow, upsurge |
| appearance as argument number 1 |
|
|
| (subclass LiquidMotion Motion) | Merge.kif 11378-11378 | Liquid motion is a subclass of motion |
| (documentation LiquidMotion EnglishLanguage "Any Motion where the patient is a Liquid. This class would cover, in particular, the flow of Water.") | Merge.kif 11380-11382 | Liquid motion is a subclass of motion |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain FlowRegionFn 1 LiquidMotion) | Geography.kif 6497-6497 | The number 1 argument of flow region is an instance of liquid motion |
| antecedent |
|
|
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11384-11388 | If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y |
| (=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L)))))) |
engineering.kif 1252-1265 | If X is an instance of faucet, Y is an instance of liquid motion, Z is a patient of Y, and Y is located at X, then there doesn't exist W such that W is an instance of tube and W contains Z holds during immediately after the time of existence of Y |
| consequent |
|
|
| (=> (and (suppliesBlood ?AC ?BPC) (instance ?A ?AC) (instance ?BP ?BPC)) (hasPurpose ?A (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (destination ?BF ?BP))))) |
Anatomy.kif 1987-1998 | If supplies blood X and Y, Z is an instance of X, and W is an instance of Y, then Z has the purpose there exist V, U such that V is an instance of liquid motion, the object transferred in V is U, U is an instance of blood, and V ends up at W |
| (=> (instance ?CM CoffeeMaking) (exists (?LM ?W ?CG) (and (subProcess ?LM ?CM) (instance ?LM LiquidMotion) (patient ?LM ?W) (instance ?W DrinkingWater) (destination ?LM ?CG) (instance ?CG CoffeeGrind)))) |
Food.kif 664-673 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of liquid motion (4) Z is a patient of Y (5) Z is an instance of potable water (6) Y ends up at W (7) W is an instance of coffee grind |
| (=> (instance ?CM CoffeeMaking) (holdsDuring ?CM (exists (?LM ?S ?R) (and (instance ?LM LiquidMotion) (instance ?S Soaking) (instance ?R Removing) (before (BeginFn (WhenFn ?LM)) (BeginFn (WhenFn ?S))) (before (BeginFn (WhenFn ?S)) (BeginFn (WhenFn ?R))))))) |
Food.kif 703-716 | If X is an instance of coffee making, then there exist Y, Z, W such that Y is an instance of liquid motion, Z is an instance of soaking, W is an instance of removing, the beginning of the time of existence of Y happens before the beginning of the time of existence of Z, and the beginning of the time of existence of Z happens before the beginning of the time of existence of W holds during X |
| (=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R))))))) |
Food.kif 799-834 | If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X |
| (=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T))))) |
Mid-level-ontology.kif 12112-12121 | If X is an instance of heart, then X has the purpose there exist Y, Z, W such that Z is an instance of heart beat, Y is an instance of liquid motion, W is an instance of blood, W moves during Y, and Z causes Y |
| (=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 12742-12759 | If X is an instance of myocardial infarction, Y is an instance of heart, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of muscle (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
| (=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M))))))) |
Mid-level-ontology.kif 13289-13306 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of nerve cell (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
|
|
|