isFiberBundleOver

3 triples
GPTKB property

Random triples
Subject Object
gptkb:n-torus_T^n T^{n-1}
gptkb:torus_T^n T^{n-1}
gptkb:n-torus (n-1)-torus