1. numerical predicate
数谓词

-- 来源 -- 英汉 - 翻译参考[网络]

2. predicate calculus
谓词演算

-- 来源 -- 英汉 - 短句参考

3. predicate constant
谓词常数

-- 来源 -- 英汉 - 翻译参考[网络]

4. enumerating predicate
枚举谓词

-- 来源 -- 英汉 - 翻译参考[网络]

5. predicate language
谓词语言

-- 来源 -- 英汉 - 翻译参考[网络]

6. resolvable predicate
可解谓词

-- 来源 -- 英汉 - 翻译参考[网络]

7. predicate variable
谓词变项

-- 来源 -- 英汉 - 翻译参考[网络]

8. uniformity predicate
一致性谓词

-- 来源 -- 英汉 - 翻译参考[网络]

9. recursive predicate
递归谓词

-- 来源 -- 英汉 - 翻译参考[网络]

10. change predicate
变化谓词

-- 来源 -- 英汉 - 翻译参考[网络]