prerequisite

Deductions

• -> is for example prerequisite ⇐ (prerequisite is a ->), (is a is inverse of is for example)
• Wikibase property is for example prerequisite ⇐ (prerequisite is a Wikibase property), (is a is inverse of is for example)
• prerequisite is a Wikibase property ⇐ (-> is subclass of Wikibase property), (prerequisite is a ->)