Deductions
- information science term has quality superclass ⇐ (information science term has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
 
- information science term has quality taxonomic rank ⇐ (information science term has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
 
- information science term has quality existence ⇐ (information science term has quality entity), (entity has quality existence), (has quality is a transitive relation)
 
- information science term has quality entity ⇐ (property is a entity), (information science term has quality property)
 
- information science term has quality class ⇐ (type of property is subclass of class), (information science term has quality type of property)
 
- information science term has quality class ⇐ (quality is a class), (information science term has quality quality)
 
- class is for example information science term ⇐ (information science term is a class), (is a is inverse of is for example)
 
- information science term has quality type ⇐ (information science term has quality class), (class has quality type), (has quality is a transitive relation)
 
- information science term is a class ⇐ (abstract entity is subclass of class), (information science term is a abstract entity)
 
- information science term has quality abstract entity ⇐ (property is a abstract entity), (information science term has quality property)
 
- abstract entity is for example information science term ⇐ (information science term is a abstract entity), (is a is inverse of is for example)
 
- information science term has quality class ⇐ (information science term is a metaclass), (metaclass has quality class)
 
- information science term has quality criterion ⇐ (information science term is a metaclass), (metaclass has quality criterion)
 
- information science term has quality quality ⇐ (information science term is a metaclass), (metaclass has quality quality)
 
- information science term has quality type of property ⇐ (information science term is a metaclass), (metaclass has quality type of property)
 
- information science term has quality property ⇐ (information science term is a metaclass), (metaclass has quality property)
 
- information science term has quality entity ⇐ (information science term is a abstract entity), (abstract entity has quality entity)
 
- information science term has quality superclass ⇐ (information science term is a abstract entity), (abstract entity has quality superclass)
 
- information science term has quality taxonomic rank ⇐ (information science term is a abstract entity), (abstract entity has quality taxonomic rank)
 
- information science term is a abstract entity ⇐ (metaclass is subclass of abstract entity), (information science term is a metaclass)
 
- metaclass is for example information science term ⇐ (information science term is a metaclass), (is a is inverse of is for example)
 
- information science term is for example subject heading ⇐ (subject heading is a information science term), (is a is inverse of is for example)
 
- entity is for example information science term ⇐ (information science term is a entity), (is a is inverse of is for example)
 
- information science term has quality existence ⇐ (information science term is a entity), (entity has quality existence)
 
- information science term is a entity ⇐ (metaclass is subclass of entity), (information science term is a metaclass)
 
- controlled vocabulary has part information science term ⇐ (subject heading is a information science term), (controlled vocabulary has part subject heading)
 
- authority file has part information science term ⇐ (subject heading is a information science term), (authority file has part subject heading)