OpenCyc：Fundamental Expression Types（基本表达类型）

CycL的基本表达类型有：常量、函数、项、关系项关系、量词等。

类型	用途	实例	细则与备注
常量 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：存在