tetrad

Deductions

• tetrad has quality class ⇐ (existence is a class), (tetrad has quality existence)
• entity is for example tetrad ⇐ (tetrad is a entity), (is a is inverse of is for example)
• tetrad is a entity ⇐ (type of fixed-size set or group is subclass of entity), (tetrad is a type of fixed-size set or group)
• type of fixed-size set or group is for example tetrad ⇐ (tetrad is a type of fixed-size set or group), (is a is inverse of is for example)
• class is for example tetrad ⇐ (tetrad is a class), (is a is inverse of is for example)
• tetrad is a class ⇐ (type of fixed-size set or group is subclass of class), (tetrad is a type of fixed-size set or group)
• tetrad has quality existence ⇐ (tetrad is subclass of collective entity), (collective entity has quality existence)