is not necessarily

4 triples
GPTKB property

Random triples
Subject Object
gptkb:sofic_shift shift of finite type
gptkb:Integral_domain A division ring
gptkb:Integral_domain A field
gptkb:pre-Banach_space complete