Instead of telling Cassie that Clyde is an elephant and
that Dumbo is an elephant, we can tell Cassie that Clyde
and Dumbo are elephants, using sets of nodes. Sets of nodes
are denoted by lists of nodes; e.g., the set consisting of Clyde
and Dumbo is represented in SNePSUL by (Clyde Dumbo)
(UM§2.7).
So let's reset
the network, and tell Cassie what we had told her earlier:
Evaluate each of the following:
(resetnet)
(describe (assert member (Clyde Dumbo) class elephant))
(describe (assert member Tweety class canary))
(describe (assert member Opus class bird))