Deductions
- unary operation has quality class ⇐ (abstract entity is a class), (unary operation has quality abstract entity)
- unary operation is for example complement ⇐ (complement is a unary operation), (is a is inverse of is for example)
- unary operation has quality entity ⇐ (unary operation has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- unary operation has quality existence ⇐ (unary operation has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- unary operation has quality superclass ⇐ (unary operation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- unary operation has quality taxonomic rank ⇐ (unary operation has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- unary operation has quality abstract entity ⇐ (arity is a abstract entity), (unary operation has quality arity)
- unary operation has quality mathematical object ⇐ (arity is a mathematical object), (unary operation has quality arity)
- unary operation has quality arity ⇐ (unary operation is subclass of operation), (operation has quality arity)
- unary operation has part technical term ⇐ (operand is a technical term), (unary operation has part operand)
- unary operation has part operand ⇐ (unary operation is subclass of operation), (operation has part operand)
- unary operation is for example multiplicative inverse ⇐ (multiplicative inverse is a unary operation), (is a is inverse of is for example)