has basionym Deductions Wikidata property related to taxa is for example has basionym ⇐ (has basionym is a Wikidata property related to taxa), (is a is inverse of is for example) -> is for example has basionym ⇐ (has basionym is a ->), (is a is inverse of is for example)