From Constants to Assertions

Assertions are statements about terms in the Cyc KB and, collectively, represent Cyc’s knowledge about those terms.