over principal ideal domain
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Free_module | Every submodule is free |