literature database 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)