Random triples
| Subject | Object |
|---|---|
| gptkb:spin(12) | true |
| gptkb:circle_group | no |
| gptkb:Sp(2n,C) | true |
| gptkb:special_unitary_group_SU(2) | true |
| gptkb:E_7_Lie_group | yes |
| gptkb:E_7(C) | true |
| gptkb:Special_Unitary_Group_of_degree_N | yes for N ≥ 2 |
| gptkb:E7_Lie_group | yes |
| gptkb:SU(3)_group | true |
| gptkb:SU(2)_group | true |
| gptkb:special_unitary_group_SU(3) | true |
| gptkb:Spin(10,C) | true |
| gptkb:Spin(10) | true |
| gptkb:Special_Orthogonal_Group_in_10_dimensions_over_the_complex_numbers | no |
| gptkb:Spin(3,1) | true |
| gptkb:Spin(7) | true |
| gptkb:Abelian_Lie_groups | isomorphic to R^n |
| gptkb:E8_(Lie_group) | yes |
| gptkb:SO(7,_C) | false |
| gptkb:3-sphere | yes |