| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10935-10935 | Decreasing is a subclass of quantity change |
| 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. | 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. | Merge.kif 10956-10956 | Cooling 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 |
|
|