1) Dynamic Stage-level Predicates
动态阶段平面谓词
2) Stative Stage-level Predicates
静态阶段平面谓词
3) stage-level predicate
阶段层面谓词
1.
The sentence with a stage-level predicate can licence an indefinite subject through its stage topic to satisfy the requirement of the topic,but the one with a individual-level predicate can t,for it does not have a spatio-temporal argument to act as stage topic.
阶段层面谓词句可通过时空论元作阶段话题以满足话题的要求,所以可允准无定主语的存在;而个体层面谓词句没有时空论元,不能满足话题要求,所以不能允准无定主语的存在。
4) stage equilibrium dynamics
阶段性平衡动态
1.
The LMM takes on the stage equilibrium dynamics.
解析分析和计算机模拟的结果表明Lavins型模型表现出阶段性平衡动态,即特定的时刻只有一个物种在群落中占有绝对数量,但很快就被它的优势物种取代,这样三物种轮流处于优势地位;概率转移模型却呈现出在时间和空间上的混沌动态行为,模拟结果表现为一种螺旋生物波;这说明局部扩散可以弱化竞争引起的种群振荡,引起空间分布的异质性,同时表明Lavins型集合种群模型可能低估了物种共存的条件。
5) Dynamic Predicate Logic
动态谓词逻辑
1.
A Brief Analysis of Discourse Representation Theory and Dynamic Predicate Logic;
试论话语表现理论与动态谓词逻辑
6) high-order predicate
高阶谓词
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条