如果一个对象的属性可以通过系统的基本谓词来表达，那么这样的谓词（如果存在）被称为普遍谓词或普遍范畴。
普遍谓词
使用 Wolfram|Alpha 探索
参考文献
Curry, H. B. 数理逻辑基础. New York: Dover, p. 113, 1977.在 Wolfram|Alpha 上被引用
普遍谓词引用为
韦斯坦因，埃里克·W. “普遍谓词。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/UniversalPredicate.html