definition involves

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