definition involves

3 triples
GPTKB property

Random triples
Subject Object
gptkb:super_Reinhardt_cardinal critical point
gptkb:super_Reinhardt_cardinal transitive class
gptkb:super_Reinhardt_cardinal elementary embedding