用谓词逻辑表示知识“所有教师都有自己的学生",( 定义谓词: T(x):表示 x 是教师;S (y) :表示 y 是学生 ;TS(x,y):表示是y 的老师( ) 自己的 教师 表示 发布时间:2024-04-02 15:25:23