les, kinship relations, and so on, but that's just an
off-the-cuff guess, and may take quite a bit more thought on my part.

&gt; &gt; These two KIF statements have exactly the same structure, except that
&gt; &gt; the first one assumes the existence of an abstract entity ?e of type
&gt; &gt; TitanicTrio (i.e., something very much like a set, which most of us
&gt; &gt; have agreed to be abstract) while the second one assumes the existence
&gt; &gt; of an entity ?e that happens to be a duck named Donald.
&gt