test001-out.nt

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

NT
6
字号
# expected result file for SeRQL CfwQuery test# Description: all subclasses of C<http://example.org/B> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/C>.<http://example.org/A> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/C>.<http://example.org/C> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/C>.

⌨️ 快捷键说明

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