KM全名是知识机器（Knowledge Machine），是用在知识表示领域的知识框架语言。
KM有一阶逻辑的语意，也有包括依描述选择、合一、分类、理解等机械推理。KM源自Theo语言及KRL 编程语言（英语：KRL (programming language)），是用Lisp实现。
