<<Up
Contents
First-order predicate
A
first-order predicate
is a
predicate
that takes only individual(s) as argument(s). Compare
second-order predicate
and
higher-order predicate
.
wikipedia.org
dumped 2003-03-17 with
terodump