Deductions
- change has quality type of property ⇐ (change has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- change has quality class ⇐ (change has quality mathematical object), (mathematical object has quality class), (has quality is a transitive relation)
- change has quality quality ⇐ (change has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- change has quality mathematical property ⇐ (change has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- change has quality type ⇐ (change has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
- change has quality property ⇐ (change has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- change has quality set ⇐ (change has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- change has quality relation ⇐ (change has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- change has quality criterion ⇐ (change has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- change has quality class ⇐ (subset is subclass of class), (change has quality subset)
- change has quality binary relation ⇐ (subclass is a binary relation), (change has quality subclass)
- change has quality entity ⇐ (change has quality subclass), (subclass has quality entity), (has quality is a transitive relation)
- change has quality existence ⇐ (change has quality subclass), (subclass has quality existence), (has quality is a transitive relation)
- change has quality superclass ⇐ (change has quality subclass), (subclass has quality superclass), (has quality is a transitive relation)
- change has quality arity ⇐ (change has quality subclass), (subclass has quality arity), (has quality is a transitive relation)
- change has quality number of entities ⇐ (change has quality subclass), (subclass has quality number of entities), (has quality is a transitive relation)
- change has quality taxonomic rank ⇐ (change has quality subclass), (subclass has quality taxonomic rank), (has quality is a transitive relation)
- change has quality mathematical object ⇐ (change has quality subclass), (subclass has quality mathematical object), (has quality is a transitive relation)
- change has quality abstract entity ⇐ (change has quality subclass), (subclass has quality abstract entity), (has quality is a transitive relation)
- change has quality class ⇐ (change has quality subclass), (subclass has quality class), (has quality is a transitive relation)
- change has quality subclass ⇐ (subset is subclass of subclass), (change has quality subset)
- change has quality subset ⇐ (difference is subclass of subset), (change has quality difference)
- revolution is subclass of change ⇐ (counter-revolution is subclass of change), (counter-revolution is opposite of revolution)
- counter-revolution is subclass of change ⇐ (counter-revolution is subclass of social change), (social change is subclass of change), (is subclass of is a transitive relation)
- estimation is for example change ⇐ (change is a estimation), (is a is inverse of is for example)
- atheist has quality change ⇐ (irreligion is a change), (atheist has quality irreligion)
- change is a estimation ⇐ (stagnation is a estimation), (stagnation is opposite of change)
- concept is for example change ⇐ (change is a concept), (is a is inverse of is for example)
- philosophical concept is for example change ⇐ (change is a philosophical concept), (is a is inverse of is for example)
- abstract entity is for example change ⇐ (change is a abstract entity), (is a is inverse of is for example)
- entity is for example change ⇐ (change is a entity), (is a is inverse of is for example)
- change is for example religiosity ⇐ (religiosity is a change), (is a is inverse of is for example)
- change is for example irreligion ⇐ (irreligion is a change), (is a is inverse of is for example)
- stagnation is opposite of change ⇐ change is opposite of stagnation
- change is subclass of entity ⇐ (change is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- change is subclass of object ⇐ (change is subclass of spatio-temporal entity), (spatio-temporal entity is subclass of object), (is subclass of is a transitive relation)
- agreement is subclass of change ⇐ (agreement is subclass of inflection), (inflection is subclass of change), (is subclass of is a transitive relation)
- social change is subclass of change ⇐ (social change is subclass of culture change), (culture change is subclass of change), (is subclass of is a transitive relation)
- change is subclass of spatio-temporal entity ⇐ (change is subclass of occurrent), (occurrent is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- irreligion is a change ⇐ (culture change is subclass of change), (irreligion is a culture change)
- religiosity is a change ⇐ (culture change is subclass of change), (religiosity is a culture change)
- change is a entity ⇐ (abstract entity is subclass of entity), (change is a abstract entity)
- change is a abstract entity ⇐ (concept is subclass of abstract entity), (change is a concept)
- change is a concept ⇐ (philosophical concept is subclass of concept), (change is a philosophical concept)
- Swedish has quality change ⇐ (inflection is subclass of change), (Swedish has quality inflection)
- English has quality change ⇐ (inflection is subclass of change), (English has quality inflection)
- French has quality change ⇐ (inflection is subclass of change), (French has quality inflection)
- Russian has quality change ⇐ (inflection is subclass of change), (Russian has quality inflection)
- German has quality change ⇐ (inflection is subclass of change), (German has quality inflection)