...言自身 KIF 是基于谓词逻辑建立起来的 但其提供的语法是面向 Lisp 的 从语义 上来看 KIF 有 4 类常量:对象常量(object constants) 函数常量(function constants) 关系常量(relation constants)以及逻辑常量(logical constants) 对象常量 第三章 本体的表示方式...
基于8个网页-相关网页
个体常项
基于1个网页-相关网页
object constants
对象常量
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动