test013-out.nt

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

NT
4
字号
# Output file for SeRQL CfwQuery test# description: query reified statement<http://www.answer.org/reified-statement> <http://www.foo.com/predicate2> <http://www.foo.com/object2> . 

⌨️ 快捷键说明

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