Deductions
- subclass has part member of a group ⇐ (subclass is subclass of class), (class has part member of a group)
- rights has part member of a group ⇐ (rights is subclass of class), (class has part member of a group)
- professionalism has part member of a group ⇐ (professionalism is subclass of class), (class has part member of a group)
- member of a group has quality class ⇐ (abstract entity is a class), (member of a group has quality abstract entity)
- member of a group has quality abstract entity ⇐ (type is a abstract entity), (member of a group has quality type)
- member of a group has quality entity ⇐ (taxonomic rank is a entity), (member of a group has quality taxonomic rank)
- concrete object has part member of a group ⇐ (concrete object is subclass of class), (class has part member of a group)
- member of a group has quality class ⇐ (type of property is a class), (member of a group has quality type of property)
- member of a group has quality type ⇐ (member of a group has quality relation), (relation has quality type), (has quality is a transitive relation)
- member of a group has quality type of relation ⇐ (member of a group has quality relation), (relation has quality type of relation), (has quality is a transitive relation)
- member of a group has quality type of property ⇐ (member of a group has quality relation), (relation has quality type of property), (has quality is a transitive relation)
- member of a group has quality superclass ⇐ (member of a group has quality relation), (relation has quality superclass), (has quality is a transitive relation)
- member of a group has quality taxonomic rank ⇐ (member of a group has quality relation), (relation has quality taxonomic rank), (has quality is a transitive relation)
- member of a group has quality property ⇐ (relation is subclass of property), (member of a group has quality relation)
- member of a group has quality relation ⇐ (mereological relation is subclass of relation), (member of a group has quality mereological relation)
- member of a group has quality existence ⇐ (member of a group is subclass of part), (part has quality existence)
- member of a group has quality mereological relation ⇐ (member of a group is subclass of part), (part has quality mereological relation)