physical library

Deductions

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