Wikidata.org Deductions MediaWiki extension is for example Wikidata.org ⇐ (Wikidata.org is a MediaWiki extension), (is a is inverse of is for example)