Template:Universe Deductions Wikimedia template subclass of Template:Universe ⇐ (Template:Universe instance of Wikimedia template), (instance of inverse property subclass of)