No TPTP formula. May not be expressible in strict first order. | Merge.kif 10957-10957 | Decreasing is a subclass of quantity change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6441-6441 | Atrophy is a subclass of decreasing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17166-17166 | Decelerating is a subclass of decreasing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17204-17204 | Shortening is a subclass of decreasing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10978-10978 | 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 |
![]() |