Deductions
- group 16 is a group ⇐ (group of manifestations is subclass of group), (group 16 is a group of manifestations)
- group has quality taxonomic rank ⇐ (group is subclass of group of manifestations), (group of manifestations has quality taxonomic rank)
- group has quality class ⇐ (group is subclass of group of manifestations), (group of manifestations has quality class)
- group has quality existence ⇐ (group is subclass of group of manifestations), (group of manifestations has quality existence)
- group has quality number of objects ⇐ (group is subclass of group of manifestations), (group of manifestations has quality number of objects)
- group has quality superclass ⇐ (group is subclass of group of manifestations), (group of manifestations has quality superclass)
- group has quality entity ⇐ (group is subclass of group of manifestations), (group of manifestations has quality entity)
- group has quality class ⇐ (existence is a class), (group has quality existence)
- group is for example United Nations System ⇐ (United Nations System is a group), (is a is inverse of is for example)
- group is subclass of group of manifestations ⇐ (group is subclass of chemical series), (chemical series is subclass of group of manifestations), (is subclass of is a transitive relation)
- class is for example group ⇐ (group is a class), (is a is inverse of is for example)
- group is a class ⇐ (abstract entity is subclass of class), (group is a abstract entity)
- abstract entity is for example group ⇐ (group is a abstract entity), (is a is inverse of is for example)
- group is for example group 16 ⇐ (group 16 is a group), (is a is inverse of is for example)