other,13-2-T78-1031,bq |
path of arcs
</term>
between two given
<term>
|
nodes
|
</term>
to be inferred from the existence
|
#12076
Path-based inference allows an arc or a path of arcs between two givennodes to be inferred from the existence of another specified path between the same two nodes. |
other,13-8-T78-1031,bq |
<term>
extensional equivalence
</term>
of
<term>
|
intensional concepts
|
</term>
, and to the
<term>
explication
</term>
|
#12198
Applications of path-based inference rules to the representation of the extensional equivalence ofintensional concepts, and to the explication of inheritance in hierarchies are sketched. |
other,28-2-T78-1031,bq |
<term>
path
</term>
between the same two
<term>
|
nodes
|
</term>
.
<term>
Path-based inference rules
|
#12091
Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same twonodes. |
other,6-4-T78-1031,bq |
</term>
allows a
<term>
structure
</term>
of
<term>
|
nodes
|
</term>
to be inferred from the existence
|
#12112
Node-based inference allows a structure ofnodes to be inferred from the existence of an instance of a pattern of node structures. |
other,0-5-T78-1031,bq |
pattern of
<term>
node structures
</term>
.
<term>
|
Node-based inference rules
|
</term>
can be constructed in a
<term>
semantic
|
#12129
Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern of node structures.Node-based inference rules can be constructed in a semantic network using a variant of a predicate calculus notation. |