＆＃34;定义-MT＆＃34; SubL命令返回＆＃34; NIL＆＃34;定义微观存在时

Question

我正在尝试为给定的Cyc概念找到一个定义的微观理论。对于一些概念＆＃34; define-mt＆＃34; SubL命令确实返回＆＃34; NIL＆＃34;在定义微服务存在时（可以使用＃$ definedMt谓词进行验证）。

例如：

• subl code（define-mt＃$ Person） - ＆gt; NIL
• cyc query（＃$ definedMt＃$ Person？MT） - ＆gt; ＃$ BiologyMt

我如何制作＆＃34;定义-tt＆＃34;在这种情况下，SubL命令输出＃$ BiologyMt？

我正在使用Research Cyc 4.0q KB。

Answer 1

您已经遇到过知识管理领先于API的案例。在这种特殊情况下，如果您查看查询的理由，您会发现它对规则有吸引力：

(implies 
  (and 
    (genls ?COLL ?TYPE) 
    (defaultDefiningMtForSpecs ?TYPE ?MT)) 
  (definingMt ?COLL ?MT))

您正在使用的SubL代码执行简单查找，因此无法利用该规则。鉴于您使用的代码库和知识库，您最好的选择就是继续使用您已经获得的查询。