Deductions
- operation has quality class ⇐ (abstract entity is a class), (operation has quality abstract entity)
- operation is part of science, technology, engineering, and mathematics ⇐ (operation is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- operation has quality entity ⇐ (operation has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- operation has quality existence ⇐ (operation has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- operation has quality superclass ⇐ (operation has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- operation has quality taxonomic rank ⇐ (operation has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- operation has quality abstract entity ⇐ (arity is a abstract entity), (operation has quality arity)
- operation has quality mathematical object ⇐ (arity is a mathematical object), (operation has quality arity)
- operation is for example multiplicative inverse ⇐ (multiplicative inverse is a operation), (is a is inverse of is for example)
- multiplicative inverse is a operation ⇐ (unary operation is subclass of operation), (multiplicative inverse is a unary operation)
- operation has part technical term ⇐ (operand is a technical term), (operation has part operand)
- operation is for example intersection ⇐ (intersection is a operation), (is a is inverse of is for example)
- operation is for example Cartesian product ⇐ (Cartesian product is a operation), (is a is inverse of is for example)
- operation is for example union ⇐ (union is a operation), (is a is inverse of is for example)
- operation is subclass of abstract entity ⇐ (operation is subclass of mathematical object), (mathematical object is subclass of abstract entity), (is subclass of is a transitive relation)
- operation is subclass of entity ⇐ (operation is subclass of mathematical object), (mathematical object is subclass of entity), (is subclass of is a transitive relation)
- operation is subclass of set ⇐ (operation is subclass of relation), (relation is subclass of set), (is subclass of is a transitive relation)
- operation is subclass of mathematical object ⇐ (operation is subclass of relation), (relation is subclass of mathematical object), (is subclass of is a transitive relation)
- operation is subclass of class ⇐ (operation is subclass of relation), (relation is subclass of class), (is subclass of is a transitive relation)
- operation is subclass of relation ⇐ (operation is subclass of binary relation), (binary relation is subclass of relation), (is subclass of is a transitive relation)
- operation is subclass of binary relation ⇐ (operation is subclass of function), (function is subclass of binary relation), (is subclass of is a transitive relation)
- union is a operation ⇐ (set operation is subclass of operation), (union is a set operation)
- Cartesian product is a operation ⇐ (set operation is subclass of operation), (Cartesian product is a set operation)
- intersection is a operation ⇐ (set operation is subclass of operation), (intersection is a set operation)