定义8.6谓词集合兀,由以下3个子集组成: (1)x1;一元谓词,表示对象的特征。SE7(X。 (2)2:二元谓词,表示对象的关系。P(X1,X2) (3)x;三元谓词,表示对象的某种属性的取值。ATR(Xy么)。 定义87D是一个表示m的域对象的独有符号的集合,l是表示信 息对象符号的集合,集合O=DUl被称为对象集合。 信息对象()与域对象(D)的关系可以通过函数 STANCE和 INSTANCES来建立。 NSTANCE(X)=表示X是一个信息对象,它 是域对象Y的一个实例。 MSTANCES(X)={X1,K2…}则等价于 INSTANCEOF(X=X, INSTANCEORX2)=X,◼ 定义8.6 谓词集合π，由以下3个子集组成： (1)π1：一元谓词，表示对象的特征。SET(X)。 (2)π2：二元谓词，表示对象的关系。P(X1,X2)。 (3)π3：三元谓词，表示对象的某种属性的取值。ATR(X,Y,Z)。 ◼ 定义8.7 D0是一个表示η的域对象的独有符号的集合， I 0是表示信 息对象符号的集合， 集合O=D0∪I 0被称为对象集合。 ◼ 信息对象(I 0 )与域对象(D0 )的关系可以通过函数INSTANCEOF和 INSTANCES来建立。INSTANCEOF(X)=Y表示X是一个信息对象，它 是域对象Y的一个实例。INSTANCES(X)={X1 ,X2 ,…}则等价于 INSTANCEOF(X1 )=X，INSTANCEOF(X2 )=X,…