topic's main category Deductions -> is for example topic's main category ⇐ (topic's main category is a ->), (is a is inverse of is for example) topic's main category is a Wikibase property ⇐ (-> is subclass of Wikibase property), (topic's main category is a ->)