hasUnderlyingSet

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Chang's_MV-algebra set of rational numbers in [0,1] with denominator a power of 2
gptkb:additive_group_of_real_numbers set of real numbers