A Predicate is a sentence-forming Relation.
Each tuple in the Relation is a finite, ordered sequence of objects.
The fact that a particular tuple is an element of a Predicate is denoted
by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the
objects so related. In the case of BinaryPredicates, the fact can
be read as `arg_1 is *predicate* arg_2' or `a *predicate* of
arg_1 is arg_2'.
SUMO / BASE-ONTOLOGY
partial valued relation
relation extended to quantities
single valued relation
total valued relation
variable arity relation
relation is exhaustively partitioned into predicate,function,list.
(partition Relation Predicate Function List)