Deductions
- algebra is part of science, technology, engineering, and mathematics ⇐ (algebra is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- algebra has part variable-order class ⇐ (concept is a variable-order class), (algebra has part concept)
- field of study is for example algebra ⇐ (algebra is a field of study), (is a is inverse of is for example)
- academic discipline is for example algebra ⇐ (algebra is a academic discipline), (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)
- algebra is subclass of field of study ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of field of study), (is subclass of is a transitive relation)
- algebra is subclass of knowledge system ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of knowledge system), (is subclass of is a transitive relation)
- algebra is subclass of collective entity ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of collective entity), (is subclass of is a transitive relation)
- algebra is subclass of entity ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of entity), (is subclass of is a transitive relation)
- algebra is subclass of system ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of system), (is subclass of is a transitive relation)
- algebra is subclass of conceptual system ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of conceptual system), (is subclass of is a transitive relation)
- algebra is subclass of academic discipline ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of academic discipline), (is subclass of is a transitive relation)
- algebra is a field of study ⇐ (academic discipline is subclass of field of study), (algebra is a academic discipline)
- algebra is a academic discipline ⇐ (area of mathematics is subclass of academic discipline), (algebra is a area of mathematics)
- algebra has part concept ⇐ (algebra is subclass of area of mathematics), (area of mathematics has part concept)