Medvik

Deductions

• literature database is for example Medvik ⇐ (Medvik is a literature database), (is a is inverse of is for example)
• Medvik is a literature database ⇐ (bibliographic database is subclass of literature database), (Medvik is a bibliographic database)
• bibliographic database is for example Medvik ⇐ (Medvik is a bibliographic database), (is a is inverse of is for example)