Deductions
- social action has quality existence ⇐ (social action has quality entity), (entity has quality existence), (has quality is a transitive relation)
- social action has quality type of object ⇐ (class is a type of object), (social action has quality class)
- social action has quality entity ⇐ (taxonomic rank is a entity), (social action has quality taxonomic rank)
- social action has quality class ⇐ (type of property is subclass of class), (social action has quality type of property)
- social action has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (social action has quality metaclass)
- social action has quality type ⇐ (social action is subclass of action), (action has quality type)
- social action has quality class ⇐ (social action is subclass of action), (action has quality class)
- social action has quality BFO class ⇐ (social action is subclass of action), (action has quality BFO class)
- social action has quality agent ⇐ (social action is subclass of action), (action has quality agent)
- social action has quality property ⇐ (social action is subclass of action), (action has quality property)
- social action has quality continuant ⇐ (social action is subclass of action), (action has quality continuant)
- social action has quality object ⇐ (social action is subclass of action), (action has quality object)
- social action has quality temporal entity ⇐ (social action is subclass of action), (action has quality temporal entity)
- social action has quality metaclass ⇐ (social action is subclass of action), (action has quality metaclass)
- social action has quality independent continuant ⇐ (social action is subclass of action), (action has quality independent continuant)
- social action has quality type of property ⇐ (social action is subclass of action), (action has quality type of property)
- social action has quality point in time ⇐ (social action is subclass of action), (action has quality point in time)
- social action has quality quality ⇐ (social action is subclass of action), (action has quality quality)
- social action has quality aptitude ⇐ (social action is subclass of action), (action has quality aptitude)
- social action has quality spatio-temporal entity ⇐ (social action is subclass of action), (action has quality spatio-temporal entity)
- social action has quality agency ⇐ (social action is subclass of action), (action has quality agency)
- social action has quality criterion ⇐ (social action is subclass of action), (action has quality criterion)
- social action has quality taxonomic rank ⇐ (social action is subclass of action), (action has quality taxonomic rank)
- social action has quality superclass ⇐ (social action is subclass of action), (action has quality superclass)
- irredentism is subclass of social action ⇐ (irredentism is subclass of political movement), (political movement is subclass of social action), (is subclass of is a transitive relation)
- social action is subclass of entity ⇐ (social action is subclass of object), (object is subclass of entity), (is subclass of is a transitive relation)
- social action is subclass of occurrent ⇐ (social action is subclass of action), (action is subclass of occurrent), (is subclass of is a transitive relation)
- social action is subclass of occurrence ⇐ (social action is subclass of action), (action is subclass of occurrence), (is subclass of is a transitive relation)
- social action is subclass of object ⇐ (social action is subclass of action), (action is subclass of object), (is subclass of is a transitive relation)
- social action is subclass of spatio-temporal entity ⇐ (social action is subclass of action), (action is subclass of spatio-temporal entity), (is subclass of is a transitive relation)
- political movement is subclass of social action ⇐ (political movement is subclass of social movement), (social movement is subclass of social action), (is subclass of is a transitive relation)
- social movement is subclass of social action ⇐ (social movement is subclass of group action), (group action is subclass of social action), (is subclass of is a transitive relation)