Next: 6.8. EXERCISES: Defining Paths
Up: 6. PATH-BASED INFERENCE (UM§2.5.2).
Previous: 6.6. Finding Information using
This find gave the same response as before, because paths are not
expanded recursively in current versions of SNePS.
To get a unit relation expanded, it must appear as a unit path in the
So, an alternative way to ask our question is to
6.7. Finding Asserted Information
(find object- (findassert isa animal))
Note the different--but related--information returned by
6.6 and 6.7.
William J. Rapaport