test010-in.nt

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

NT
6
字号
# Input file for SeRQL CfwQuery test# description: query subclasses.<foo:JournalPaper> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <foo:Paper> .<foo:Paper> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <foo:Document> .<foo:TechReport> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <foo:Document> .

⌨️ 快捷键说明

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