Deductions
- area of mathematics has quality class ⇐ (existence is a class), (area of mathematics has quality existence)
- area of mathematics is part of science, technology, engineering, and mathematics ⇐ (area of mathematics is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- entity is for example area of mathematics ⇐ (area of mathematics is a entity), (is a is inverse of is for example)
- area of mathematics has quality existence ⇐ (area of mathematics is a entity), (entity has quality existence)
- area of mathematics is a entity ⇐ (second-order class is subclass of entity), (area of mathematics is a second-order class)
- area of mathematics has part variable-order class ⇐ (concept is a variable-order class), (area of mathematics has part concept)
- mathematics has part area of mathematics ⇐ (number theory is a area of mathematics), (mathematics has part number theory)
- fixed-order class is for example area of mathematics ⇐ (area of mathematics is a fixed-order class), (is a is inverse of is for example)
- area of mathematics is for example elementary algebra ⇐ (elementary algebra is a area of mathematics), (is a is inverse of is for example)
- area of mathematics is for example boolean algebra ⇐ (boolean algebra is a area of mathematics), (is a is inverse of is for example)
- second-order class is for example area of mathematics ⇐ (area of mathematics is a second-order class), (is a is inverse of is for example)
- area of mathematics is for example algebra ⇐ (algebra is a area of mathematics), (is a is inverse of is for example)
- area of mathematics is for example mathematical logic ⇐ (mathematical logic is a area of mathematics), (is a is inverse of is for example)
- area of mathematics is for example number theory ⇐ (number theory is a area of mathematics), (is a is inverse of is for example)
- area of mathematics is subclass of conceptual system ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of conceptual system), (is subclass of is a transitive relation)
- area of mathematics is subclass of knowledge system ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of knowledge system), (is subclass of is a transitive relation)
- area of mathematics is subclass of system ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of system), (is subclass of is a transitive relation)
- area of mathematics is subclass of collective entity ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of collective entity), (is subclass of is a transitive relation)
- area of mathematics is subclass of entity ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of entity), (is subclass of is a transitive relation)
- boolean algebra is subclass of area of mathematics ⇐ (boolean algebra is subclass of algebra), (algebra is subclass of area of mathematics), (is subclass of is a transitive relation)
- area of mathematics is subclass of field of study ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of field of study), (is subclass of is a transitive relation)
- elementary algebra is subclass of area of mathematics ⇐ (elementary algebra is subclass of algebra), (algebra is subclass of area of mathematics), (is subclass of is a transitive relation)
- area of mathematics is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (area of mathematics is a second-order class)