本体库

位置复合体 中文版

物理实体 中文版

物理实体 中文版

物理实体 中文版

应用 中文版

本文件定义了通常称为命题态度（PA）的若干类型。这些类型将命题内容与表达该内容的命题关联起来。命题态度的一个细分是心理态度（参见例如 Cugola, 1996），即心灵中的命题类型。另一类是交流行为的命题态度。

本文件定义了通常称为命题态度（PA）的若干类型。这些类型将命题内容与表达该内容的命题关联起来。命题态度的一个细分是心理态度（参见例如 Cugola, 1996），即心灵中的命题类型。另一类是交流行为的命题态度。

本本体描述了LKIF规则语言中使用的类和属性，如Deliverable 1.1所规定。请注意，SWRL规则的定义未导入本本体。此扩展将通过论证规则框架实现。

本本体描述了LKIF规则语言中使用的类和属性，如Deliverable 1.1所规定。请注意，SWRL规则的定义未导入本本体。此扩展将通过论证规则框架实现。

终止 中文版

专业法律角色 中文版

应使用HermiT对EMMO进行推理，以可视化所有推断和类层次结构（在Protege中按ctrl+R快捷键）。