Deductions
- 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)
- group is for example research ⇐ (research is a group), (is a is inverse of is for example)
- research has quality number of objects ⇐ (research is a group), (group has quality number of objects)
- research is a group ⇐ (industry is subclass of group), (research is a industry)
- industry is for example research ⇐ (research is a industry), (is a is inverse of is for example)