| 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 |
|
|
| (documentation Decreasing ChineseLanguage "这是当 PhysicalQuantity 在减少时的任何 QuantityChange。") | chinese_format.kif 2987-2988 | |
| (documentation Decreasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is decreased.") | Merge.kif 10240-10241 | |
| (externalImage Decreasing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Monotonicity_example2.png") | pictureList.kif 5953-5953 | |
| (externalImage Decreasing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Monotonicity_example3.png") | pictureList.kif 6353-6353 | |
| (relatedInternalConcept Decreasing Removing) | Merge.kif 10238-10238 | Decreasing is internally related to removing |
| (subclass Decreasing QuantityChange) | Merge.kif 10237-10237 | Decreasing is a subclass of quantity change |
| appearance as argument number 2 |
|
|
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 6137-6137 | Atrophy is a subclass of decreasing |
| (subclass Braking Decreasing) | Cars.kif 1252-1252 | Braking is a subclass of decreasing |
| (subclass Cooling Decreasing) | Merge.kif 10258-10258 | Cooling is a subclass of decreasing |
| (subclass Decelerating Decreasing) | Mid-level-ontology.kif 14768-14768 | Decelerating is a subclass of decreasing |
| (subclass Shortening Decreasing) | Mid-level-ontology.kif 14799-14799 | Shortening is a subclass of decreasing |
| (termFormat ChineseLanguage Decreasing "减少") | chinese_format.kif 1111-1111 | |
| (termFormat EnglishLanguage Decreasing "decreasing") | english_format.kif 1444-1444 |
| appearance as argument number 3 |
|
|
| (partition QuantityChange Increasing Decreasing) | Merge.kif 10191-10191 | Quantity change is exhaustively partitioned into increasing and decreasing |
| antecedent |
|
|
| (=> (and (instance ?DECREASE Decreasing) (patient ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (BeginFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (EndFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10243-10256 |
|
|
|
|