# 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)

## See Also

Last modified: Jun 1 1995