Portal:Logic Deductions Wikimedia portal is for example Portal:Logic ⇐ (Portal:Logic is a Wikimedia portal), (is a is inverse of is for example)