is the quotient of

1 triples
GPTKB property

Random triples
Subject Object
gptkb:complex_hyperbolic_space PU(n,1)/U(n)