| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2987-2988 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10808-10809 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7108-7108 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10806-10806 | Decreasing is internally related to removing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10805-10805 | Decreasing is a subclass of quantity change |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6111-6111 | Atrophy is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1247-1247 | Braking is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10826-10826 | Cooling is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16606-16606 | Decelerating is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16644-16644 | Shortening is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1111-1111 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1439-1439 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10759-10759 | Quantity change is exhaustively partitioned into increasing and decreasing |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10811-10824 |
|
|
|
|