compute-conjunction-concept [Function]


Purpose

The compute-conjunction-concept function creates and classifies a concept that is the conjunction of a specified set of currently-existing classified concepts or relations.

Syntax

compute-conjunction-concept concepts

Arguments

The concepts argument is a list of classified concepts or relations.

Value

This function returns a new, classified concept that represents the conjunction of concepts. The new concept has a system-generated name.

Examples

(compute-conjunction-concept (list (fc A) (fc B) (fc C))) ==> |C|A&B&C

See Also

Last modified: Jun 1 1995