| (subclass Decreasing QuantityChange) | Merge.kif 10935-10935 | |
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 6442-6442 | |
| (subclass Decelerating Decreasing) | Mid-level-ontology.kif 17167-17167 | |
| (subclass Shortening Decreasing) | Mid-level-ontology.kif 17205-17205 | |
| (subclass Cooling Decreasing) | Merge.kif 10956-10956 | |
| (subclass Braking Decreasing) | Cars.kif 1247-1247 |
|
|