Deductions
- boolean algebra has quality class ⇐ (existence is a class), (boolean algebra has quality existence)
- boolean algebra has quality existence ⇐ (boolean algebra is subclass of area of mathematics), (area of mathematics has quality existence)
- field of study is for example boolean algebra ⇐ (boolean algebra is a field of study), (is a is inverse of is for example)
- academic discipline is for example boolean algebra ⇐ (boolean algebra is a academic discipline), (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)
- boolean algebra is subclass of field of study ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of field of study), (is subclass of is a transitive relation)
- boolean algebra is subclass of conceptual system ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of conceptual system), (is subclass of is a transitive relation)
- boolean algebra is subclass of knowledge system ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of knowledge system), (is subclass of is a transitive relation)
- boolean algebra is subclass of system ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of system), (is subclass of is a transitive relation)
- boolean algebra is subclass of collective entity ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of collective entity), (is subclass of is a transitive relation)
- boolean algebra is subclass of entity ⇐ (boolean algebra 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)
- boolean algebra is subclass of academic discipline ⇐ (boolean algebra is subclass of algebra), (algebra is subclass of academic discipline), (is subclass of is a transitive relation)
- boolean algebra is a field of study ⇐ (academic discipline is subclass of field of study), (boolean algebra is a academic discipline)
- boolean algebra is a academic discipline ⇐ (area of mathematics is subclass of academic discipline), (boolean algebra is a area of mathematics)