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