Opérateur de prédicat
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
predicate operator
Predicate operators form a part of the logical form language. They transform one predicate into another predicate. For example, the predicate operator PLUR transforms a singular predicate like (DOG x) which is true if x is a dog, into a plural equivalent (PLUR DOG) such that ((PLUR DOG) x) is true if x is a set of more than one dog.
Contributeurs: Maya Pentsch, wiki