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