Deductions
- The Hitchhiker's Guide to the Galaxy pentalogy has part written work ⇐ (The Hitchhiker's Guide to the Galaxy is a written work), (The Hitchhiker's Guide to the Galaxy pentalogy has part The Hitchhiker's Guide to the Galaxy)
- written work is for example The Hitchhiker's Guide to the Galaxy ⇐ (The Hitchhiker's Guide to the Galaxy is a written work), (is a is inverse of is for example)
- written work is for example Real-Encyclopädie der classischen Alterthumswissenschaft in alphabetischer Ordnung ⇐ (Real-Encyclopädie der classischen Alterthumswissenschaft in alphabetischer Ordnung is a written work), (is a is inverse of is for example)
- written work is for example The Nuttall Encyclopædia ⇐ (The Nuttall Encyclopædia is a written work), (is a is inverse of is for example)
- The Nuttall Encyclopædia is a written work ⇐ (literary work is subclass of written work), (The Nuttall Encyclopædia is a literary work)
- The Hitchhiker's Guide to the Galaxy is a written work ⇐ (literary work is subclass of written work), (The Hitchhiker's Guide to the Galaxy is a literary work)
- Real-Encyclopädie der classischen Alterthumswissenschaft in alphabetischer Ordnung is a written work ⇐ (literary work is subclass of written work), (Real-Encyclopädie der classischen Alterthumswissenschaft in alphabetischer Ordnung is a literary work)
- written work is for example Tractatus Logico-Philosophicus ⇐ (Tractatus Logico-Philosophicus is a written work), (is a is inverse of is for example)
- written work is for example Nordisk familjebok ⇐ (Nordisk familjebok is a written work), (is a is inverse of is for example)
- written work is for example Paulys Realenzyklopädie der klassischen Altertumswissenschaft ⇐ (Paulys Realenzyklopädie der klassischen Altertumswissenschaft is a written work), (is a is inverse of is for example)
- written work is for example Long Walk to Freedom ⇐ (Long Walk to Freedom is a written 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)
- written work is for example Catholic Encyclopedia ⇐ (Catholic Encyclopedia is a written work), (is a is inverse of is for example)
- written work is for example Small Brockhaus and Efron Encyclopedic Dictionary ⇐ (Small Brockhaus and Efron Encyclopedic Dictionary is a written work), (is a is inverse of is for example)
- written work is for example Gray's Anatomy ⇐ (Gray's Anatomy is a written work), (is a is inverse of is for example)
- part is subclass of written work ⇐ (part is subclass of statute), (statute is subclass of written work), (is subclass of is a transitive relation)
- written work is subclass of object ⇐ (written work is subclass of work), (work is subclass of object), (is subclass of is a transitive relation)
- written work is subclass of entity ⇐ (written work is subclass of work), (work is subclass of entity), (is subclass of is a transitive relation)
- written work is subclass of artificial object ⇐ (written work is subclass of work), (work is subclass of artificial object), (is subclass of is a transitive relation)
- written work is subclass of work ⇐ (written work is subclass of intellectual work), (intellectual work is subclass of work), (is subclass of is a transitive relation)