Deductions
- inflection has quality class ⇐ (existence is a class), (inflection has quality existence)
- inflection has quality existence ⇐ (inflection is subclass of entity), (entity has quality existence)
- inflection is subclass of entity ⇐ (inflection is subclass of occurrent), (occurrent is subclass of entity), (is subclass of is a transitive relation)
- inflection is subclass of object ⇐ (inflection is subclass of change), (change is subclass of object), (is subclass of is a transitive relation)
- inflection is subclass of spatio-temporal entity ⇐ (inflection is subclass of change), (change is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- inflection is subclass of occurrent ⇐ (inflection is subclass of change), (change is subclass of occurrent), (is subclass of is a transitive relation)
- French has quality inflection ⇐ (agreement is subclass of inflection), (French has quality agreement)
- English has quality inflection ⇐ (agreement is subclass of inflection), (English has quality agreement)
- Swedish has quality inflection ⇐ (agreement is subclass of inflection), (Swedish has quality agreement)
- German has quality inflection ⇐ (agreement is subclass of inflection), (German has quality agreement)
- Russian has quality inflection ⇐ (agreement is subclass of inflection), (Russian has quality agreement)