谓词的阶 [数] order of predicate
一阶谓词的积分 FOPC
带恒等式的谓词演算 predicate calculus with identity
谓语动词的主语 We are League members
所谓的词汇空白 lexical gap
非谓语动词的复 Grammar The Complex Construction of NonFinite Verbs
中的谓词 Pradikat
非谓语动词的体和态 Grammar The Tense and Voice of NonFinite Verbs
带注释的谓词演算 annotate predicate calculus
应用推荐