splitRealForm

3 triples
GPTKB property

Random triples
Subject Object
gptkb:complex_Lie_group_F4 split real Lie group F4
gptkb:E_{7(7)} true
gptkb:Lie_algebra_sl(2,_R) true