has isometry group

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Hyperbolic_space SO(n,1)
gptkb:H^2_×_R_geometry Isom(H^2) × Isom(R)
gptkb:complex_hyperbolic_space PU(n,1)