Deductions
- trade magazine has quality class ⇐ (trade magazine has quality type), (type has quality class), (has quality is a transitive relation)
- trade magazine has quality superclass ⇐ (trade magazine has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- trade magazine has quality class ⇐ (quality is a class), (trade magazine has quality quality)
- trade magazine has quality class ⇐ (trade magazine has quality type), (type has quality class), (has quality is a transitive relation)
- trade magazine has quality type of property ⇐ (trade magazine has quality type), (type has quality type of property), (has quality is a transitive relation)
- trade magazine has quality existence ⇐ (trade magazine has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- trade magazine has quality superclass ⇐ (trade magazine has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- trade magazine has quality taxonomic rank ⇐ (trade magazine has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- trade magazine has quality abstract entity ⇐ (type is a abstract entity), (trade magazine has quality type)
- genre is for example trade magazine ⇐ (trade magazine is a genre), (is a is inverse of is for example)
- trade magazine has quality entity ⇐ (trade magazine is a genre), (genre has quality entity)
- trade magazine has quality type ⇐ (trade magazine is a genre), (genre has quality type)
- trade magazine has quality criterion ⇐ (trade magazine is a genre), (genre has quality criterion)
- trade magazine has quality quality ⇐ (trade magazine is a genre), (genre has quality quality)
- trade magazine has quality property ⇐ (trade magazine is a genre), (genre has quality property)
- trade magazine is a genre ⇐ (magazine genre is subclass of genre), (trade magazine is a magazine genre)
- trade magazine is for example Communications of the ACM ⇐ (Communications of the ACM is a trade magazine), (is a is inverse of is for example)
- magazine genre is for example trade magazine ⇐ (trade magazine is a magazine genre), (is a is inverse of is for example)
- Communications of the ACM is a trade magazine ⇐ (scientific journal is subclass of trade magazine), (Communications of the ACM is a scientific journal)