The term-implies relation returns all of the concepts (or relations) that are implied by a given concept (or relation).
term-implies concept1 concept2
The concept1 argument is a concept or relation that implies concept2.
The concept2 argument is a concept or relation implied by concept1.
The implicands of concept1 include all of (1) its superconcepts, (2) its consequents, that is, concepts which were introduced in its definition's :implies clause, or in an implies statement, and (3) the superconcepts of its consequents, and the consequents of its superconcepts, recursively.
(defconcept A :is-primitive AA :implies B)
(defconcept B :is-primitive BB)
(retrieve ?x (term-implies A ?x)) ==> (|C|A |C|AA |C|B |C|BB |C|THING)
(implies r s)
(retrieve ?x (term-implies r ?x)) ==> (|R|R |R|S |R|BINARY-TUPLE)
Last modified: Jun 1 1995