canBeUsedToDefine

2 triples
GPTKB property

Random triples
Subject Object
gptkb:semi-Thue_system formal languages
gptkb:semi-Thue_system computational problems