OpenCyc：Fundamental Expression Types（基本表达类型）_opencyc 本体 如何表达

类型

用途

实例

细则与备注

常量

Constants

表示个体、集合、集合的集合

#$Country

由#$起始的字串

函数

Functions

获取参数并返回值

(#$President #$ Mexico )

通常由Fn结尾

项

Terms

在个体和集合、集合和集合间建立关系

(#$isa #$GeorgeWBush #$WorldLeader)

#$isa：部分关系

#$genls：继承关系

#$typeGenls：类型继承关系

#$disjointWith：不相交关系

其它关系条目……

关系项的关系

Connecting Relational Terms

在关系项间建立关系

(#$genlPreds #$father #$bialogicalRelateives)

#$genlPreds：正向关系，即x与y满足第一个关系，则x与y满足第二个关系。

#$genlInverse：逆向关系，即x与y满足第一个关系，则y与x满足第二个关系，注意，两个关系中x和y位置互换

结构谓词

描述结构句子的语法和语义条件

(#$arity #$bialogicalMother 2)

(#$arg0Isa #$bialogicalMother #$Animal)

#$arity：规定谓词的参数数目

#$argxIsa：规定谓词的参数类型，x对应相应参数位置

逻辑连接词

Logical Connectives

描述逻辑关系

#$or：或

#$and：与

#$not：非

#$implies：蕴涵

量词

Quantifers

#$forAll：全称

#$thereExists：存在