(subclass Decreasing QuantityChange) | Merge.kif 10957-10957 | |
(subclass Atrophy Decreasing) | Mid-level-ontology.kif 6441-6441 | |
(subclass Decelerating Decreasing) | Mid-level-ontology.kif 17166-17166 | |
(subclass Shortening Decreasing) | Mid-level-ontology.kif 17204-17204 | |
(subclass Cooling Decreasing) | Merge.kif 10978-10978 | |
(subclass Braking Decreasing) | Cars.kif 1247-1247 |