term-implies [Relation]

Purpose

The term-implies relation returns all of the concepts (or relations) that are implied by a given concept (or relation).

Syntax

term-implies concept1 concept2

Domain

The concept1 argument is a concept or relation that implies concept2.

Range

The concept2 argument is a concept or relation implied by concept1.

Remarks

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.

Examples

(defconcept AA) 
(defconcept A :is-primitive AA :implies B) 
(defconcept BB) 
(defconcept B :is-primitive BB) 
(retrieve ?x (term-implies A ?x)) ==> (|C|A |C|AA |C|B |C|BB |C|THING) 
(defrelation r) 
(defrelation s) 
(implies r s) 
(retrieve ?x (term-implies r ?x)) ==> (|R|R |R|S |R|BINARY-TUPLE)