| QuantityChange(quantity change) | | bit-by-bit, change_intensity, climate_change, cured, direct, global_climate_change, gradational, gradatory, gradient, gradual, graduated, gravity_gradient, hold_the_line, in_small_stages, louden, piecemeal, sharpened, step-by-step, stepwise, temperature_change, temperature_gradient, vulcanised, vulcanized |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2981-2982 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10919-10920 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1741-1742 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10917-10917 | Quantity change is exhaustively partitioned into increasing and decreasing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10916-10916 | Quantity change is a subclass of internal change |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10979-10979 | Decreasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3336-3336 | Focusing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10937-10937 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1108-1108 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1433-1433 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 786-786 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 318-318 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 321-321 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2470-2470 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 738-738 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 323-323 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 357-357 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 807-807 | Increasing is a subclass of quantity change |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 322-322 | Increasing is a subclass of quantity change |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10922-10935 |
|
|
|
|