Random triples
| Subject | Object |
|---|---|
| gptkb:F4_(Lie_group) | split real form of F4 |
| gptkb:E_7(C) | gptkb:E_7_(split) |
| gptkb:E_6_Lie_group | gptkb:split_E_6 |
| gptkb:E_7_Lie_group | split E_7 |
| gptkb:G2_(complex_Lie_group) | G2 (split real form) |
| gptkb:so(12,C) | yes |
| gptkb:E_8_(split_real_form_Lie_algebra) | true |
| gptkb:E_8_(complex_Lie_group) | split E_8 |
| gptkb:so(12) | so(12,12) |