| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10893-10893 | Increasing is a subclass of quantity change |
| 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 6453-6453 | Bloating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12386-12386 | Inflammation is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17139-17139 | Accelerating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23802-23802 | Lengthening is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23822-23822 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10914-10914 | Heating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3601-3601 | Inflating is a subclass of increasing |
|
|