Deductions
- Wikibase property is for example notation ⇐ (notation is a Wikibase property), (is a is inverse of is for example)
- notation is for example symbol ⇐ (symbol is a notation), (is a is inverse of is for example)
- -> is for example notation ⇐ (notation is a ->), (is a is inverse of is for example)
- Wikidata property related to mathematics is for example notation ⇐ (notation is a Wikidata property related to mathematics), (is a is inverse of is for example)
- notation is subclass of entity ⇐ (notation is subclass of conceptual system), (conceptual system is subclass of entity), (is subclass of is a transitive relation)
- notation is subclass of collective entity ⇐ (notation is subclass of conceptual system), (conceptual system is subclass of collective entity), (is subclass of is a transitive relation)
- notation is subclass of system ⇐ (notation is subclass of conceptual system), (conceptual system is subclass of system), (is subclass of is a transitive relation)
- notation is a Wikibase property ⇐ (-> is subclass of Wikibase property), (notation is a ->)