Five dimensions of reasoning in the wild
CYC: a large-scale investment in knowledge infrastructure