知识表达语言（Knowledge Representation Language）
Formalism used to represent knowledge. Also known as knowledge representation formalism.
用于表达知识（Knowledge）的形式化体系（Formalism ）。又称为知识表达形式化体系（Knowledge Representation Formalism ）。
英文定义来源
