Deductions
- number theory has quality class ⇐ (beauty is subclass of class), (number theory has quality beauty)
- number theory has quality class ⇐ (abstract entity is a class), (number theory has quality abstract entity)
- number theory is part of science, technology, engineering, and mathematics ⇐ (number theory is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- number theory has quality entity ⇐ (beauty is a entity), (number theory has quality beauty)
- number theory has quality abstract entity ⇐ (beauty is a abstract entity), (number theory has quality beauty)
- academic discipline is for example number theory ⇐ (number theory is a academic discipline), (is a is inverse of is for example)
- field of study is for example number theory ⇐ (number theory is a field of study), (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)
- number theory is subclass of science ⇐ (number theory is subclass of mathematics), (mathematics is subclass of science), (is subclass of is a transitive relation)
- number theory is subclass of knowledge system ⇐ (number theory is subclass of mathematics), (mathematics is subclass of knowledge system), (is subclass of is a transitive relation)
- number theory is subclass of conceptual system ⇐ (number theory is subclass of mathematics), (mathematics is subclass of conceptual system), (is subclass of is a transitive relation)
- number theory is subclass of natural science ⇐ (number theory is subclass of mathematics), (mathematics is subclass of natural science), (is subclass of is a transitive relation)
- number theory is a field of study ⇐ (academic discipline is subclass of field of study), (number theory is a academic discipline)
- number theory is a academic discipline ⇐ (area of mathematics is subclass of academic discipline), (number theory is a area of mathematics)
- number theory has quality sourcing circumstance ⇐ (convention is a sourcing circumstance), (number theory has quality convention)
- number theory has quality convention ⇐ (beauty is subclass of convention), (number theory has quality beauty)
- number theory has quality beauty ⇐ (mathematical beauty is subclass of beauty), (number theory has quality mathematical beauty)
- number theory has quality mathematical beauty ⇐ (number theory is subclass of mathematics), (mathematics has quality mathematical beauty)