Tractatus Logico-Philosophicus

Deductions

• written work is for example Tractatus Logico-Philosophicus ⇐ (Tractatus Logico-Philosophicus is a written work), (is a is inverse of is for example)
• intellectual work is for example Tractatus Logico-Philosophicus ⇐ (Tractatus Logico-Philosophicus is a intellectual work), (is a is inverse of is for example)
• Tractatus Logico-Philosophicus is a intellectual work ⇐ (written work is subclass of intellectual work), (Tractatus Logico-Philosophicus is a written work)