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.
The concepts argument is a list of classified concepts or relations.
This function returns a new, classified concept that represents the conjunction of concepts. The new concept has a system-generated name.
(compute-conjunction-concept (list (fc A) (fc B) (fc C))) ==> |C|A&B&C
Last modified: Jun 1 1995