Deductions
- gravity has characteristic type of interaction ⇐ (fundamental interaction instance of type of interaction), (gravity has characteristic fundamental interaction)
- Universe has characteristic type of interaction ⇐ (fundamental interaction instance of type of interaction), (Universe has characteristic fundamental interaction)
- type of interaction subclass of fundamental interaction ⇐ (fundamental interaction instance of type of interaction), (instance of inverse property subclass of)
- interaction has part(s) type of interaction ⇐ (fundamental interaction instance of type of interaction), (interaction has part(s) fundamental interaction)
- educational system has quality type of interaction ⇐ (educational system is subclass of social system), (social system has quality type of interaction)
- regime has quality type of interaction ⇐ (regime is subclass of social system), (social system has quality type of interaction)
- type of interaction has quality superclass ⇐ (type of interaction has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- type of interaction has quality taxonomic rank ⇐ (type of interaction has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- type of interaction has quality abstract entity ⇐ (property is a abstract entity), (type of interaction has quality property)
- metaclass is for example type of interaction ⇐ (type of interaction is a metaclass), (is a is inverse of is for example)
- economy of Washington, D.C. has quality type of interaction ⇐ (social interaction is a type of interaction), (economy of Washington, D.C. has quality social interaction)
- economy of London has quality type of interaction ⇐ (social interaction is a type of interaction), (economy of London has quality social interaction)
- economy of the Russian Empire has quality type of interaction ⇐ (social interaction is a type of interaction), (economy of the Russian Empire has quality social interaction)
- economy of Cambridge has quality type of interaction ⇐ (social interaction is a type of interaction), (economy of Cambridge has quality social interaction)
- social system has quality type of interaction ⇐ (social interaction is a type of interaction), (social system has quality social interaction)
- world economy has quality type of interaction ⇐ (social interaction is a type of interaction), (world economy has quality social interaction)
- type of interaction has quality entity ⇐ (property is a entity), (type of interaction has quality property)
- type of interaction has quality class ⇐ (type of property is subclass of class), (type of interaction has quality type of property)
- type of interaction has quality property ⇐ (type of interaction is subclass of type), (type has quality property)
- type of interaction has quality criterion ⇐ (type of interaction is subclass of type), (type has quality criterion)
- type of interaction has quality type of property ⇐ (type of interaction is subclass of type), (type has quality type of property)
- type of interaction has quality quality ⇐ (type of interaction is subclass of type), (type has quality quality)
- type of interaction has quality class ⇐ (type of interaction is subclass of type), (type has quality class)
- type of interaction has quality existence ⇐ (type of interaction is subclass of type), (type has quality existence)
- type of interaction is for example social interaction ⇐ (social interaction is a type of interaction), (is a is inverse of is for example)