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