isBanachSpace

16 triples
GPTKB property