Deductions
- mathematical constant has quality number of entities ⇐ (mathematical constant has quality relation), (relation has quality number of entities), (has quality is a transitive relation)
- mathematical constant has quality arity ⇐ (mathematical constant has quality relation), (relation has quality arity), (has quality is a transitive relation)
- mathematical constant has quality mathematical object ⇐ (mathematical constant has quality relation), (relation has quality mathematical object), (has quality is a transitive relation)
- mathematical constant has quality type ⇐ (mathematical constant has quality class), (class has quality type), (has quality is a transitive relation)
- mathematical constant has quality type of property ⇐ (mathematical constant has quality class), (class has quality type of property), (has quality is a transitive relation)
- mathematical constant has quality existence ⇐ (mathematical constant has quality class), (class has quality existence), (has quality is a transitive relation)
- mathematical constant has quality criterion ⇐ (mathematical constant has quality class), (class has quality criterion), (has quality is a transitive relation)
- mathematical constant has quality quality ⇐ (mathematical constant has quality class), (class has quality quality), (has quality is a transitive relation)
- mathematical constant has quality property ⇐ (mathematical constant has quality class), (class has quality property), (has quality is a transitive relation)
- mathematical constant has quality class ⇐ (set is a class), (mathematical constant has quality set)
- mathematical constant has quality abstract entity ⇐ (set is a abstract entity), (mathematical constant has quality set)
- mathematical constant has quality entity ⇐ (mathematical constant is subclass of number), (number has quality entity)
- mathematical constant has quality relation ⇐ (mathematical constant is subclass of number), (number has quality relation)
- mathematical constant has quality taxonomic rank ⇐ (mathematical constant is subclass of number), (number has quality taxonomic rank)
- mathematical constant has quality set ⇐ (mathematical constant is subclass of number), (number has quality set)
- mathematical constant has quality class ⇐ (mathematical constant is subclass of number), (number has quality class)
- mathematical constant has quality mathematical property ⇐ (mathematical constant is subclass of number), (number has quality mathematical property)
- mathematical constant has quality type of number ⇐ (mathematical constant is subclass of number), (number has quality type of number)
- mathematical constant has quality superclass ⇐ (mathematical constant is subclass of number), (number has quality superclass)
- complex unit has part mathematical constant ⇐ (complex unit is subclass of complex number), (complex number has part mathematical constant)
- complex number has part mathematical constant ⇐ (imaginary unit is a mathematical constant), (complex number has part imaginary unit)
- negative real number has part mathematical constant ⇐ (imaginary unit is a mathematical constant), (negative real number has part imaginary unit)
- mathematical constant is for example imaginary unit ⇐ (imaginary unit is a mathematical constant), (is a is inverse of is for example)
- mathematical constant is for example -i ⇐ (-i is a mathematical constant), (is a is inverse of is for example)
- -i is a mathematical constant ⇐ (imaginary unit is a mathematical constant), (imaginary unit is opposite of -i)