kif 释义： kif 数学家用来描述问题的通用工具是逻辑学。早在维特根斯坦时代，许多数学家、哲学家和计算机科学家都试图使用数理逻辑来清晰而无歧义地定义和描述感兴趣的事情，结果简单逻辑学（如一阶逻辑FOL - First Order Logic）在描述事情方面表现出极大的威力。有些数学家和计算机科学家发现相对简单的逻辑足以用来向人和其它的智能代理描述表示感兴趣的事情和应用，比如简单的具体事实、定义、摘要、推理规则、限制和元知识（关于知识的知识） 等。 参见百度百科介绍 马尔他语 怎么
