CycL

该项目的一部分以OpenCyc形式发布，OpenCyc项目以开源许可的形式向开发者和使用者提供API，可下载的数据集（特别是为语义万维网实践者提供了OWL版本的数据集）等。 Cyc项目始于1984年，由当时的微电子与计算机技术公司开发。该项目最开始的目标是将上百万条知识编码成机器可用的形式，用以表示人类常识。CycL

持的推理规则。本体语言通常为声明式语言（又称为表述型语言、说明性语言），几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。 CycL（英语：CycL） DOGMA（英语：DOGMA）（Developing Ontology-Grounded Methods and

logic）就是ISO标准24707；这是关于一种本体语言家族的技术规范，其中的本体语言彼此之间可以准确地相互转换。 Cyc项目有其自己的，基于一阶谓词演算，且具有某些高阶扩展的本体语言（即CycL（英语：CycL））。 Gellish（英语：Gellish）语言之中包括了关于自身扩展的规则，因而集成了一部本体和一种本体语言。

S-腺苷-L-高半胱氨酸（英語：S-Adenosyl-L-homocysteine，简称为SAH）是一种氨基酸衍生物，在大多数生物体中的一些代谢途径中有着重要的作用。这是一个合成半胱氨酸和腺苷的代谢中间产物。 S-腺苷-L-高半胱氨酸是S-腺苷-L-甲硫氨酸（SAM）经脱甲基作用而形成的。 BioCYC E

logic）就是ISO标准24707；这是关于一种本体语言家族的技术规范，其中的本体语言彼此之间可以准确地相互转换。 Cyc项目有其自己的，基于一阶谓词演算，且具有某些高阶扩展的本体语言（即CycL（英语：CycL））。 Gellish（英语：Gellish）语言之中包括了关于自身扩展的规则，因而集成了一部本体和一种本体语言。