Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Decreasing(decreasing)
|  | abate, abatement, abatement_of_a_nuisance, abbreviation, ablated, aggravate, allargando, allow, amortisation, amortization, astringe, atrophied, attenuate, attenuated, attenuation, attrition, backslide, bankrupt, bate, bated, battle_damage, belittle, bite, black, blow_over, blunt, bog, bog_down, bottleneck, brain_drain, break, bring_down, budget_cut, calando, calm_down, capital_loss, castrate, casualty, catch, change, check, choke, choke_back, choke_down, choke_off, chokepoint, clog, cloud, coarctation, collapse... |
| appearance as argument number 1 |
|
|
| (subclass Decreasing QuantityChange) | Merge.kif 11187-11187 | Decreasing is a subclass of quantity change |
| (relatedInternalConcept Decreasing Removing) | Merge.kif 11188-11188 | Decreasing is internally related to removing |
| (documentation Decreasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is decreased.") | Merge.kif 11190-11191 | Decreasing is internally related to removing |
| (externalImage Decreasing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Monotonicity_example2.png") | pictureList.kif 7106-7106 | Decreasing is internally related to removing |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition QuantityChange Increasing Decreasing) | Merge.kif 11125-11125 | Quantity change is exhaustively partitioned into increasing and decreasing |
| antecedent |
|
|
| (=> (and (instance ?D Decreasing) (patient ?D ?OBJ)) (exists (?N1 ?N2 ?T1 ?T2 ?U) (and (earlier ?T1 ?T2) (holdsDuring ?T1 (measure ?OBJ (MeasureFn ?N1 ?U))) (holdsDuring ?T2 (measure ?OBJ (MeasureFn ?N2 ?U))) (lessThan ?N1 ?N2)))) |
Merge.kif 11193-11206 | If X is an instance of decreasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is less than W |
| consequent |
|
|
| (=> (instance ?C Consuming) (exists (?O ?D) (and (patient ?C ?O) (instance ?O Object) (resource ?C ?O) (subProcess ?D ?C) (instance ?D Decreasing) (patient ?D ?O) (causes ?C ?D)))) |
Merge.kif 10487-10497 | If X is an instance of consuming, then All of the following hold: (1) there exist Y (2) Z such that Y is a patient of X (3) Y is an instance of object (4) Y is a resource for X (5) Z is a subprocess of X (6) Z is an instance of decreasing (7) Y is a patient of Z (8) X causes Z |
| (=> (and (instance ?C CurdlingMilk) (instance ?M Milk) (patient ?C ?M)) (exists (?PH ?D ?H ?L) (and (measure ?M (MeasureFn ?PH PHValue)) (instance ?D Decreasing) (subProcess ?D ?C) (patient ?D ?PH) (holdsDuring (BeginFn (WhenFn ?D)) (and (equal ?PH ?H) (approximateValue ?H 6.5))) (holdsDuring (EndFn (WhenFn ?D)) (and (equal ?PH ?L) (approximateValue ?L 4.5)))))) |
Food.kif 3256-3279 | If X is an instance of curdling milk, Y is an instance of milk, and Y is a patient of X, then there exist Z, W,, , V and U such that the measure of Y is Z PH value(s) and W is an instance of decreasing and W is a subprocess of X and Z is a patient of W and equal Z and V and the approximate value of V is 6.5 holds during the beginning of the time of existence of W and equal Z and U and the approximate value of U is 4.5 holds during the end of the time of existence of W |
|