| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10957-10957 | 子類 Decreasing and QuantityChange |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6441-6441 | 子類 痿 and Decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17166-17166 | 子類 減速 and Decreasing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17204-17204 | 子類 縮短 and Decreasing |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10978-10978 | 子類 Cooling and Decreasing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1247-1247 | 子類 Braking and Decreasing |
|
|