?知识交换格式
知识交换格式（ Knowledge Interchange Format，KIF）是基于 S-表达式的一种 一阶逻辑语法 [19]。
?知识交互格式
有 几种构造本体论的工程框架的尝试：Genesereth 和Fikes 描述知识交互格式（KIF，Knowledge Interchange Format） [36]，KIF 是面向计算机并通过元知识和非单调推理规则得以增强的基于一阶逻辑的知识交互语言，用...
?换格式
但由于 MDO 设计过程集成语义交互的复杂性, 采用知识 交换格式( Knowledge Interchange Format , KIF) 的 PSL 在实现不同学科工具之间的活动互操作时可 读性很差。
?知识变换语言
基于本体的协同设计产品信息建模与映射研究 - docin.com豆丁网 识建 模语言（OperationalknowledgemodelingLanguage，OCML）、知识变换语言（Knowledge InterchangeFormat，KIF）、资源描述框架（ResourceDescriptionFramework，RDF）和 资源词汇描述语
知识交换格式kif
知识交换格式
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。