The functions in this section find nodes in the network, and return them.
(find
{path nodeset}
context-specifier)
(findassert {path nodeset}
context-specifier)
(findconstant {path nodeset}
context-specifier)
(findbase {path nodeset}
context-specifier)
(findvariable {path nodeset}
context-specifier)
(findpattern {path nodeset}
context-specifier)
Returns the set of nodes in the specified context such that each node in the set has every specified
path going from it to at least one node in the accompanying nodeset. (find class (man greek))
will find nodes with a class arc to either man or greek, whereas (find class man class
greek) will find nodes with class arcs to both man and greek. find returns all
appropriate nodes in the specified context; findassert returns only asserted nodes; findconstant
returns only base or molecular nodes; findbase returns only base nodes; findvariable returns only
variable nodes; findpattern returns only pattern nodes.
?symbol
May be used in any find function in place of a nodeset, to
stand for ``any node.'' The scope of these symbols is the outermost
find function and all embedded find functions. After
return of the outermost find function, symbol will be a
SNePSUL variable whose value will be the set of nodes it matched.
(deduce
[numb] {relation nodeset}
context-specifier)
(deducetrue [numb] {relation nodeset}
context-specifier)
(deducefalse [numb] {relation nodeset}
context-specifier)
(deducewh [numb] {relation nodeset}
context-specifier)
(deducewhnot [numb] {relation nodeset}
context-specifier)
Like findassert, but
uses SNIP to back-chain on any deduction rules in the specified
context.
deducetrue returns all inferred nodes that satisfy the specification.
deducefalse returns all inferred nodes that satisfy the negation of the specification.
deduce returns all inferred nodes that satisfy the specification,
and inferred nodes that satisfy the negation of the specification.
deducewh returns the set of nodes from the nodes that would be
returned by deducetrue that substitute for the free
variables in the specification.
deducewhnot returns the set of nodes from the nodes that would be
returned by deducefalse that substitute for the free
variables in the specification.
Note that
only relations may appear in the specification, not any other
unitpaths or paths. Neither may ?symbol variables appear
in the specification. The numb argument is optional. If
numb is omitted, then deduce continues until no more answers can be
derived. If numb is a single integer, it specifies the total
number of answers requested. If numb is zero, no inference is
done--only answers already in the network are returned. Otherwise,
numb must be a list of two numbers, (npos nneg), and
deduction terminates after at least npos positive and nneg
negative instances are derived.