is a compact manifold

3 triples
GPTKB property

Random triples
Subject Object
gptkb:7-sphere_(S^7) yes
gptkb:3-sphere yes
gptkb:RP^3 true