ThoughtTreasure is a knowledge base.