definition involves

URI: https://gptkb.org/prop/definition_involves
3 triples
GPTKB property
Random triples
Subject Object
gptkb:super_Reinhardt_cardinal transitive class
gptkb:super_Reinhardt_cardinal critical point
gptkb:super_Reinhardt_cardinal elementary embedding