Deductions
- English studies has quality quality ⇐ (English studies has quality topic), (topic has quality quality), (has quality is a transitive relation)
- English studies has quality information quality ⇐ (English studies has quality topic), (topic has quality information quality), (has quality is a transitive relation)
- English studies has quality class ⇐ (English studies has quality quality), (quality has quality class), (has quality is a transitive relation)
- English studies has quality abstract entity ⇐ (type is a abstract entity), (English studies has quality type)
- English studies has quality topic ⇐ (English studies is a academic discipline), (academic discipline has quality topic)
- English studies has quality type of property ⇐ (English studies is a academic discipline), (academic discipline has quality type of property)
- English studies has quality quality ⇐ (English studies is a academic discipline), (academic discipline has quality quality)
- English studies has quality superclass ⇐ (English studies is a academic discipline), (academic discipline has quality superclass)
- English studies has quality taxonomic rank ⇐ (English studies is a academic discipline), (academic discipline has quality taxonomic rank)
- English studies has quality type ⇐ (English studies is a academic discipline), (academic discipline has quality type)
- English studies has quality property ⇐ (English studies is a academic discipline), (academic discipline has quality property)
- English studies has quality criterion ⇐ (English studies is a academic discipline), (academic discipline has quality criterion)
- English studies has quality class ⇐ (English studies is a academic discipline), (academic discipline has quality class)
- English studies has quality entity ⇐ (English studies is a academic discipline), (academic discipline has quality entity)
- English studies has quality type of object ⇐ (English studies is a academic discipline), (academic discipline has quality type of object)
- English studies has quality existence ⇐ (English studies is a academic discipline), (academic discipline has quality existence)
- academic discipline is for example English studies ⇐ (English studies is a academic discipline), (is a is inverse of is for example)
- field of study is for example English studies ⇐ (English studies is a field of study), (is a is inverse of is for example)
- English studies is a field of study ⇐ (academic discipline is subclass of field of study), (English studies is a academic discipline)