error003-out.nt
来自「这是外国一个开源推理机」· NT 代码 · 共 6 行
NT
6 行
# Output file for RDF Model Theory inferencer test case# The inferrencer just needs to handle the exotic input correctly. No specific# inferred statements are expected.# FIXME: how do we properly evaluate whether the test case has been handled# correctly?
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?