Conjunction

Conjunction is represented in Cyc by the CycL logical connective #$and. A CycL formula is sometimes called a conjunction if it begins with #$and.