Deductions
- mathematics has part class ⇐ (entity is a class), (mathematics has part entity)
- mathematics has quality class ⇐ (beauty is subclass of class), (mathematics has quality beauty)
- mathematics has quality class ⇐ (abstract entity is a class), (mathematics has quality abstract entity)
- causality is part of mathematics ⇐ (causality is part of logic), (logic is part of mathematics), (is part of is a transitive relation)
- opposition is part of mathematics ⇐ (opposition is part of logic), (logic is part of mathematics), (is part of is a transitive relation)
- operand is part of mathematics ⇐ (operand is part of operation), (operation is part of mathematics), (is part of is a transitive relation)
- elementary algebra is part of mathematics ⇐ (elementary algebra is part of algebra), (algebra is part of mathematics), (is part of is a transitive relation)
- classical logic is part of mathematics ⇐ (classical logic is part of logic), (logic is part of mathematics), (is part of is a transitive relation)
- mathematics has part variable-order class ⇐ (entity is a variable-order class), (mathematics has part entity)
- mathematics has part fixed-order class ⇐ (second-order class is a fixed-order class), (mathematics has part second-order class)
- mathematics has part entity ⇐ (area of mathematics is a entity), (mathematics has part area of mathematics)
- mathematics has quality entity ⇐ (beauty is a entity), (mathematics has quality beauty)
- mathematics has quality abstract entity ⇐ (beauty is a abstract entity), (mathematics has quality beauty)
- mathematics has part second-order class ⇐ (area of mathematics is a second-order class), (mathematics has part area of mathematics)
- mathematics has part field of study ⇐ (number theory is a field of study), (mathematics has part number theory)
- mathematics has part area of mathematics ⇐ (number theory is a area of mathematics), (mathematics has part number theory)
- field of study is for example mathematics ⇐ (mathematics is a field of study), (is a is inverse of is for example)
- academic discipline is for example mathematics ⇐ (mathematics is a academic discipline), (is a is inverse of is for example)
- mathematics is subclass of knowledge system ⇐ (mathematics is subclass of natural science), (natural science is subclass of knowledge system), (is subclass of is a transitive relation)
- mathematics is subclass of conceptual system ⇐ (mathematics is subclass of natural science), (natural science is subclass of conceptual system), (is subclass of is a transitive relation)
- mathematics is subclass of science ⇐ (mathematics is subclass of natural science), (natural science is subclass of science), (is subclass of is a transitive relation)
- mathematics is a field of study ⇐ (academic discipline is subclass of field of study), (mathematics is a academic discipline)
- mathematics has quality sourcing circumstance ⇐ (convention is a sourcing circumstance), (mathematics has quality convention)
- mathematics has quality convention ⇐ (beauty is subclass of convention), (mathematics has quality beauty)
- mathematics has quality beauty ⇐ (mathematical beauty is subclass of beauty), (mathematics has quality mathematical beauty)