| 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 10938-10939 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1747-1748 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7107-7107 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | Decreasing is internally related to removing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10935-10935 | 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 6442-6442 | 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 10956-10956 | Cooling is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17167-17167 | Decelerating is a subclass of decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17205-17205 | 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 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 789-789 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 321-321 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 324-324 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2473-2473 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 741-741 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 326-326 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 360-360 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 810-810 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 325-325 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10873-10873 | Quantity change is exhaustively partitioned into increasing and decreasing |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10941-10954 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3226-3247 |
|
|
|
|