digital library

Deductions

• digital library has quality class ⇐ (existence is a class), (digital library has quality existence)
• class is for example digital library ⇐ (digital library is a class), (is a is inverse of is for example)
• type of library is for example digital library ⇐ (digital library is a type of library), (is a is inverse of is for example)
• entity is for example digital library ⇐ (digital library is a entity), (is a is inverse of is for example)
• digital library is subclass of library ⇐ (physical library is subclass of library), (physical library is opposite of digital library)
• digital library has quality existence ⇐ (digital library is a entity), (entity has quality existence)
• digital library is a entity ⇐ (class is subclass of entity), (digital library is a class)
• digital library is a class ⇐ (type of library is subclass of class), (digital library is a type of library)
• digital library is for example Digital Public Library of America ⇐ (Digital Public Library of America is a digital library), (is a is inverse of is for example)