Deductions
- branch of biology has quality class ⇐ (quality is a class), (branch of biology has quality quality)
- branch of biology has quality abstract entity ⇐ (type is a abstract entity), (branch of biology has quality type)
- branch of biology has quality entity ⇐ (taxonomic rank is a entity), (branch of biology has quality taxonomic rank)
- branch of biology has quality existence ⇐ (branch of biology is subclass of branch of science), (branch of science has quality existence)
- branch of biology has quality class ⇐ (branch of biology is subclass of branch of science), (branch of science has quality class)
- branch of biology has quality topic ⇐ (branch of biology is subclass of branch of science), (branch of science has quality topic)
- branch of biology has quality type ⇐ (branch of biology is subclass of branch of science), (branch of science has quality type)
- branch of biology has quality property ⇐ (branch of biology is subclass of branch of science), (branch of science has quality property)
- branch of biology has quality taxonomic rank ⇐ (branch of biology is subclass of branch of science), (branch of science has quality taxonomic rank)
- branch of biology has quality type of property ⇐ (branch of biology is subclass of branch of science), (branch of science has quality type of property)
- branch of biology has quality superclass ⇐ (branch of biology is subclass of branch of science), (branch of science has quality superclass)
- branch of biology has quality quality ⇐ (branch of biology is subclass of branch of science), (branch of science has quality quality)
- branch of biology has quality information quality ⇐ (branch of biology is subclass of branch of science), (branch of science has quality information quality)
- second-order class is for example branch of biology ⇐ (branch of biology is a second-order class), (is a is inverse of is for example)
- branch of biology is for example systematics ⇐ (systematics is a branch of biology), (is a is inverse of is for example)