concept nodes" for verbs as for nouns, and all
&gt; concepts map to variables in KIF or predicate calculus.  But
&gt; the point that Peirce, Whitehead, and I would make is that
&gt; this transformation does not "reduce" the triadic relation to
&gt; dyads because the full meaning of "giving" still resides in the
&gt; single monad named "giving", which is assigned a variable e,
&gt; which is then linked to exactly the same relata (or arguments)
&gt; as the verb give.

MW: This then is the nub of it. I see the