| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10957-10957 | Diminuer est une sous-classe de changement de quantit� |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6441-6441 | Atrophy est une sous-classe de diminuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17166-17166 | Decelerating est une sous-classe de diminuer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17204-17204 | Shortening est une sous-classe de diminuer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10978-10978 | Refroidir est une sous-classe de diminuer |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1247-1247 | Braking est une sous-classe de diminuer |
|
|