Deductions
- Boolean domain has quality class ⇐ (Boolean domain has quality quality), (quality has quality class), (has quality is a transitive relation)
- Boolean domain has quality quality ⇐ (Boolean domain is a set), (set has quality quality)
- Boolean domain has quality type ⇐ (Boolean domain is a set), (set has quality type)
- Boolean domain has quality property ⇐ (Boolean domain is a set), (set has quality property)
- Boolean domain has quality criterion ⇐ (Boolean domain is a set), (set has quality criterion)
- Boolean domain has quality taxonomic rank ⇐ (Boolean domain is a set), (set has quality taxonomic rank)
- Boolean domain has quality superclass ⇐ (Boolean domain is a set), (set has quality superclass)
- Boolean domain has quality existence ⇐ (Boolean domain is a set), (set has quality existence)
- Boolean domain has quality entity ⇐ (Boolean domain is a set), (set has quality entity)
- Boolean domain has quality type of property ⇐ (Boolean domain is a set), (set has quality type of property)
- Boolean domain has quality abstract entity ⇐ (Boolean domain is a set), (set has quality abstract entity)
- set is for example Boolean domain ⇐ (Boolean domain is a set), (is a is inverse of is for example)
- Boolean domain is a set ⇐ (finite set is subclass of set), (Boolean domain is a finite set)
- finite set is for example Boolean domain ⇐ (Boolean domain is a finite set), (is a is inverse of is for example)