Deductions
- economy of London has quality abstract entity ⇐ (type is a abstract entity), (economy of London has quality type)
- economy of London has quality property ⇐ (economy of London has quality type of interaction), (type of interaction has quality property), (has quality is a transitive relation)
- economy of London has quality type of property ⇐ (economy of London has quality type of interaction), (type of interaction has quality type of property), (has quality is a transitive relation)
- economy of London has quality quality ⇐ (economy of London has quality type of interaction), (type of interaction has quality quality), (has quality is a transitive relation)
- economy of London has quality criterion ⇐ (economy of London has quality type of interaction), (type of interaction has quality criterion), (has quality is a transitive relation)
- economy of London has quality class ⇐ (economy of London has quality type of interaction), (type of interaction has quality class), (has quality is a transitive relation)
- economy of London has quality type of interaction ⇐ (social interaction is a type of interaction), (economy of London has quality social interaction)
- economy of London has quality entity ⇐ (taxonomic rank is a entity), (economy of London has quality taxonomic rank)
- economy is for example economy of London ⇐ (economy of London is a economy), (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)
- economy of London has quality type ⇐ (economy of London is a economy), (economy has quality type)
- economy of London has quality type of object ⇐ (economy of London is a economy), (economy has quality type of object)
- economy of London has quality existence ⇐ (economy of London is a economy), (economy has quality existence)
- economy of London has quality social interaction ⇐ (economy of London is a social system), (social system has quality social interaction)
- economy of London has quality superclass ⇐ (economy of London is a social system), (social system has quality superclass)
- economy of London has quality taxonomic rank ⇐ (economy of London is a social system), (social system has quality taxonomic rank)
- economy of London is a social system ⇐ (economy is subclass of social system), (economy of London is a economy)
- economy of London is a economy ⇐ (regional economy is subclass of economy), (economy of London is a regional economy)
- regional economy is for example economy of London ⇐ (economy of London is a regional economy), (is a is inverse of is for example)