| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10969-10969 | Diminuir e' uma sub-classe de Modificacao de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6436-6436 | Atrophy e' uma sub-classe de Diminuir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17194-17194 | Decelerating e' uma sub-classe de Diminuir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17232-17232 | Shortening e' uma sub-classe de Diminuir |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10990-10990 | Resfriar e' uma sub-classe de Diminuir |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1247-1247 | Braking e' uma sub-classe de Diminuir |
|
|