is a simple group

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Spin(1,4) true
gptkb:Spin(n) true (for n ≥ 3, except n=4)
gptkb:Spin(13) true
gptkb:unitary_group_PSU(3,5) true