Deductions
- converter is for example comparison ⇐ (comparison is a converter), (is a is inverse of is for example)
- comparison is a converter ⇐ (method is subclass of converter), (comparison is a method)
- purpose is subclass of converter ⇐ (means is subclass of converter), (means is opposite of purpose)
- tautology is subclass of converter ⇐ (tautology is subclass of method), (method is subclass of converter), (is subclass of is a transitive relation)
- documentation file is subclass of converter ⇐ (documentation file is subclass of method), (method is subclass of converter), (is subclass of is a transitive relation)
- rhetoric is subclass of converter ⇐ (rhetoric is subclass of method), (method is subclass of converter), (is subclass of is a transitive relation)
- method is subclass of converter ⇐ (method is subclass of means), (means is subclass of converter), (is subclass of is a transitive relation)