Deductions
- counter-revolution has quality property ⇐ (counter-revolution has quality arity), (arity has quality property), (has quality is a transitive relation)
- counter-revolution has quality type of property ⇐ (counter-revolution has quality arity), (arity has quality type of property), (has quality is a transitive relation)
- counter-revolution has quality set ⇐ (counter-revolution has quality arity), (arity has quality set), (has quality is a transitive relation)
- counter-revolution has quality quality ⇐ (counter-revolution has quality arity), (arity has quality quality), (has quality is a transitive relation)
- counter-revolution has quality criterion ⇐ (counter-revolution has quality arity), (arity has quality criterion), (has quality is a transitive relation)
- counter-revolution has quality class ⇐ (counter-revolution has quality arity), (arity has quality class), (has quality is a transitive relation)
- counter-revolution has quality mathematical property ⇐ (counter-revolution has quality arity), (arity has quality mathematical property), (has quality is a transitive relation)
- counter-revolution has quality relation ⇐ (counter-revolution has quality arity), (arity has quality relation), (has quality is a transitive relation)
- counter-revolution has quality class ⇐ (subset is subclass of class), (counter-revolution has quality subset)
- counter-revolution has quality binary relation ⇐ (subclass is a binary relation), (counter-revolution has quality subclass)
- counter-revolution has quality mathematical object ⇐ (counter-revolution has quality subset), (subset has quality mathematical object), (has quality is a transitive relation)
- counter-revolution has quality arity ⇐ (counter-revolution has quality subset), (subset has quality arity), (has quality is a transitive relation)
- counter-revolution has quality number of entities ⇐ (counter-revolution has quality subset), (subset has quality number of entities), (has quality is a transitive relation)
- counter-revolution has quality subclass ⇐ (subset is subclass of subclass), (counter-revolution has quality subset)
- counter-revolution has quality subset ⇐ (difference is subclass of subset), (counter-revolution has quality difference)
- counter-revolution has quality superclass ⇐ (counter-revolution is subclass of object), (object has quality superclass)
- counter-revolution has quality abstract entity ⇐ (counter-revolution is subclass of object), (object has quality abstract entity)
- counter-revolution has quality entity ⇐ (counter-revolution is subclass of object), (object has quality entity)
- counter-revolution has quality type of object ⇐ (counter-revolution is subclass of object), (object has quality type of object)
- counter-revolution has quality type ⇐ (counter-revolution is subclass of object), (object has quality type)
- counter-revolution has quality taxonomic rank ⇐ (counter-revolution is subclass of object), (object has quality taxonomic rank)
- counter-revolution has quality point in time ⇐ (counter-revolution is subclass of spatio-temporal entity), (spatio-temporal entity has quality point in time)
- counter-revolution has quality existence ⇐ (counter-revolution is subclass of culture change), (culture change has quality existence)
- counter-revolution has quality class ⇐ (counter-revolution is subclass of culture change), (culture change has quality class)
- counter-revolution has quality difference ⇐ (counter-revolution is subclass of change), (change has quality difference)
- 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)
- counter-revolution is subclass of culture change ⇐ (counter-revolution is subclass of social change), (social change is subclass of culture change), (is subclass of is a transitive relation)
- counter-revolution is subclass of occurrent ⇐ (counter-revolution is subclass of social change), (social change is subclass of occurrent), (is subclass of is a transitive relation)
- counter-revolution is subclass of spatio-temporal entity ⇐ (counter-revolution is subclass of social change), (social change is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- counter-revolution is subclass of object ⇐ (counter-revolution is subclass of social change), (social change is subclass of object), (is subclass of is a transitive relation)
- counter-revolution is subclass of entity ⇐ (counter-revolution is subclass of social change), (social change is subclass of entity), (is subclass of is a transitive relation)
- counter-revolution is subclass of social change ⇐ (revolution is subclass of social change), (revolution is opposite of counter-revolution)
- entity is for example counter-revolution ⇐ (counter-revolution is a entity), (is a is inverse of is for example)
- political movement is for example counter-revolution ⇐ (counter-revolution is a political movement), (is a is inverse of is for example)
- occurrent is for example counter-revolution ⇐ (counter-revolution is a occurrent), (is a is inverse of is for example)
- type of process is for example counter-revolution ⇐ (counter-revolution is a type of process), (is a is inverse of is for example)
- counter-revolution is a entity ⇐ (occurrent is subclass of entity), (counter-revolution is a occurrent)
- counter-revolution is a occurrent ⇐ (political movement is subclass of occurrent), (counter-revolution is a political movement)
- counter-revolution is a type of process ⇐ (revolution is a type of process), (revolution is opposite of counter-revolution)