Otto's encyclopedia

Deductions

• intellectual work is for example Otto's encyclopedia ⇐ (Otto's encyclopedia is a intellectual work), (is a is inverse of is for example)
• written work is for example Otto's encyclopedia ⇐ (Otto's encyclopedia is a written work), (is a is inverse of is for example)
• Otto's encyclopedia is a intellectual work ⇐ (written work is subclass of intellectual work), (Otto's encyclopedia is a written work)