second-order predicate

predicate that takes a first-order predicate as an argument

en-US/ˈsɛkənd - ˈɑɹdɚ ˈpɹɛdəˌkeɪtv/
en-GB/sɪˈkɒnd - ˈɔːdə ˈpɹɛdɪkət/

Kategoriler:

predicate