test018-out.nt

来自「这是外国一个开源推理机」· NT 代码 · 共 3 行

NT
3
字号
<http://www.foo.com/stat1> <http://www.foo.com/stat1> <http://www.foo.com/stat1>.<http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf>.

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?