| Increasing(increasing)
| | accelerando, accelerate, accelerated, accelerative, acceleratory, accession, accrete, accretion, accretionary, accretive, accrual, accrue, accrued, accruement, accumulate, accumulated, accumulation, accumulative, add_to, addition, adolesce, adrenarche, advance, aggrandisement, aggrandizement, amass, ameliorate, amend, amplification, amplify, animate, annealing, appreciate, appreciation, apprise, apprize, augment, augmentation, augmentative, augmented, backlog, backup, balloon, beef_up, belly, belly_out, better, billow, blow_up, blowup... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2983-2984 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11034-11035 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1743-1744 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6624-6624 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11032-11032 | Increasing is internally related to putting |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11031-11031 | Increasing is a subclass of quantity change |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11011-11011 | Quantity change is exhaustively partitioned into increasing and decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18526-18526 | Accelerating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7390-7390 | Bloating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11052-11052 | Heating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13717-13717 | Inflammation is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3662-3662 | Inflating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25448-25448 | Lengthening is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1433-1433 | Proliferation is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25468-25468 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1109-1109 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1435-1435 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 787-787 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 319-319 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 322-322 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2471-2471 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 739-739 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 324-324 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 358-358 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 617-617 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 808-808 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 323-323 | Saving is a subclass of increasing |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11037-11050 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1437-1445 |
|
|
|
|