painting Deductions type of work of art is for example painting ⇐ (painting is a type of work of art), (is a is inverse of is for example) painting is for example Mona Lisa ⇐ (Mona Lisa is a painting), (is a is inverse of is for example)