Deductions
- object is for example implication arrow ⇐ (implication arrow is a object), (is a is inverse of is for example)
- implication arrow is a object ⇐ (symbol is subclass of object), (implication arrow is a symbol)
- symbol is for example implication arrow ⇐ (implication arrow is a symbol), (is a is inverse of is for example)
- mathematical symbol is for example implication arrow ⇐ (implication arrow is a mathematical symbol), (is a is inverse of is for example)
- implication arrow is subclass of set ⇐ (implication arrow is subclass of locus), (locus is subclass of set), (is subclass of is a transitive relation)
- implication arrow is subclass of locus ⇐ (implication arrow is subclass of shape), (shape is subclass of locus), (is subclass of is a transitive relation)
- implication arrow is subclass of shape ⇐ (implication arrow is subclass of arrow), (arrow is subclass of shape), (is subclass of is a transitive relation)
- implication arrow is a symbol ⇐ (mathematical symbol is subclass of symbol), (implication arrow is a mathematical symbol)