hasTotalSpace

2 triples
GPTKB property

Random triples
Subject Object
gptkb:principal_G-bundle P
gptkb:Principal_bundle Principal bundle total space