Cyc is one of the KBSs being developed under the HPKB program (High Performance Knowledge Bases) and, as a participant, AIAI has a copy. I'll descibe two pieces of Cyc-related work: a translator from structured English to the CycL representation language (a first-order logic) and the implementation of problem-solving methods in Cyc. The PSM work is based on a '98 MSc thesis by Dimitrios Sklavakis.