Deductions
- science, technology, engineering, and mathematics has part class ⇐ (entity is a class), (science, technology, engineering, and mathematics has part entity)
- science, technology, engineering, and mathematics has part concept ⇐ (class is a concept), (science, technology, engineering, and mathematics has part class)
- science, technology, engineering, and mathematics has part class ⇐ (class is a class), (science, technology, engineering, and mathematics has part class)
- object of study is part of science, technology, engineering, and mathematics ⇐ (object of study is part of research), (research is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- causality is part of science, technology, engineering, and mathematics ⇐ (causality is part of logic), (logic is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- operation is part of science, technology, engineering, and mathematics ⇐ (operation is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- research is part of science, technology, engineering, and mathematics ⇐ (research is part of science), (science is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- opposition is part of science, technology, engineering, and mathematics ⇐ (opposition is part of logic), (logic is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- scientific society is part of science, technology, engineering, and mathematics ⇐ (scientific society is part of science), (science is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- mathematical logic is part of science, technology, engineering, and mathematics ⇐ (mathematical logic is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- elementary algebra is part of science, technology, engineering, and mathematics ⇐ (elementary algebra is part of algebra), (algebra is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- logic is part of science, technology, engineering, and mathematics ⇐ (logic is part of mathematics), (mathematics is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- 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)
- 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)
- 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)
- branch of science is part of science, technology, engineering, and mathematics ⇐ (branch of science is part of science), (science is part of science, technology, engineering, and mathematics), (is part of is a transitive relation)
- science, technology, engineering, and mathematics has part class ⇐ (type of classification is a class), (science, technology, engineering, and mathematics has part type of classification)
- science, technology, engineering, and mathematics has part organism ⇐ (knowledge classification is a organism), (science, technology, engineering, and mathematics has part knowledge classification)
- science, technology, engineering, and mathematics has part entity ⇐ (type of classification is a entity), (science, technology, engineering, and mathematics has part type of classification)
- science, technology, engineering, and mathematics has part variable-order class ⇐ (type of classification is a variable-order class), (science, technology, engineering, and mathematics has part type of classification)
- science, technology, engineering, and mathematics has part type of classification ⇐ (knowledge classification is a type of classification), (science, technology, engineering, and mathematics has part knowledge classification)
- science, technology, engineering, and mathematics has part knowledge classification ⇐ (academic discipline is a knowledge classification), (science, technology, engineering, and mathematics has part academic discipline)
- science, technology, engineering, and mathematics has part academic discipline ⇐ (science is a academic discipline), (science, technology, engineering, and mathematics has part science)