codomain

Deductions

• Wikibase property is for example codomain ⇐ (codomain is a Wikibase property), (is a is inverse of is for example)
• -> is for example codomain ⇐ (codomain is a ->), (is a is inverse of is for example)
• Wikidata property related to mathematics is for example codomain ⇐ (codomain is a Wikidata property related to mathematics), (is a is inverse of is for example)
• codomain is a Wikibase property ⇐ (-> is subclass of Wikibase property), (codomain is a ->)