Deductions
- social system has quality class ⇐ (existence is a class), (social system has quality existence)
- regime is subclass of social system ⇐ (regime is subclass of political system), (political system is subclass of social system), (is subclass of is a transitive relation)
- social system has quality existence ⇐ (social system has quality entity), (entity has quality existence), (has quality is a transitive relation)
- social system has quality type of interaction ⇐ (social interaction is a type of interaction), (social system has quality social interaction)
- social system has quality entity ⇐ (taxonomic rank is a entity), (social system has quality taxonomic rank)
- abstract entity is for example social system ⇐ (social system is a abstract entity), (is a is inverse of is for example)
- type of system is for example social system ⇐ (social system is a type of system), (is a is inverse of is for example)
- social system is for example economy of Ancient Egypt ⇐ (economy of Ancient Egypt is a social system), (is a is inverse of is for example)
- social system is for example economy of Cambridge ⇐ (economy of Cambridge is a social system), (is a is inverse of is for example)
- social system is for example economy of London ⇐ (economy of London is a social system), (is a is inverse of is for example)
- social system is for example economy of the Russian Empire ⇐ (economy of the Russian Empire is a social system), (is a is inverse of is for example)
- social system is for example world economy ⇐ (world economy is a social system), (is a is inverse of is for example)
- social system is for example economy of Washington, D.C. ⇐ (economy of Washington, D.C. is a social system), (is a is inverse of is for example)
- class is for example social system ⇐ (social system is a class), (is a is inverse of is for example)
- social system has quality superclass ⇐ (social system is a class), (class has quality superclass)
- social system has quality taxonomic rank ⇐ (social system is a class), (class has quality taxonomic rank)
- social system is a class ⇐ (type of system is subclass of class), (social system is a type of system)
- social system is a abstract entity ⇐ (type of system is subclass of abstract entity), (social system is a type of system)
- economy of Washington, D.C. is a social system ⇐ (economy is subclass of social system), (economy of Washington, D.C. is a economy)
- world economy is a social system ⇐ (economy is subclass of social system), (world economy is a economy)
- economy of the Russian Empire is a social system ⇐ (economy is subclass of social system), (economy of the Russian Empire is a economy)
- economy of Ancient Egypt is a social system ⇐ (economy is subclass of social system), (economy of Ancient Egypt is a economy)
- economy of Cambridge is a social system ⇐ (economy is subclass of social system), (economy of Cambridge is a economy)
- economy of London is a social system ⇐ (economy is subclass of social system), (economy of London is a economy)