Deductions
- opposition is part of mathematics ⇐ (opposition is part of logic), (logic is part of 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)
- relative quality is for example opposition ⇐ (opposition is a relative quality), (is a is inverse of is for example)
- opposition is subclass of phenomenon ⇐ (opposition is subclass of state), (state is subclass of phenomenon), (is subclass of is a transitive relation)