is a homogeneous space

4 triples
GPTKB property