(I)谓词定义：TABLE(x):x是桌子 EMPTY(y):y手中是空的 AT(y,Z):y在z附近 HOLDS(y,w):y拿着w ON(W,x):w在x的上面 (2)域 x的个体域是{a,b} y的个体域是{robot} z的个体域是{a,b,c} w的个体域是{box}(1)谓词定义：TABLE(x):x是桌子 EMPTY(y):y手中是空的 AT(y,z):y在z附近 HOLDS(y,w):y拿着w ON(w,x):w在x的上面 (2)域 x的个体域是{a,b} y的个体域是{robot} z的个体域是{a,b,c} w的个体域是{box}