| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10927-10927 | 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 6447-6447 | Bloating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12413-12413 | Inflammation is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17166-17166 | Accelerating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23859-23859 | Lengthening is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23879-23879 | Saving is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10948-10948 | Heating is a subclass of increasing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3586-3586 | Inflating is a subclass of increasing |
|
|