KM全名是知识机器（Knowledge Machine），KM有一阶逻辑的语意，也有包括依描述选择、合一、分类、理解等机械推理，KM源自Theo语言及KRL 编程语言（KRL (programming language)），是用Lisp实现。KM编程语言是用在知识表示领域的知识框架语言。在人工智能领域，KM编程语言是一种本体语言，用于知识表示的本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。常为描述性语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。