triad

Deductions

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