 Cyc established its own Frame language and had large numbers of analysts document various areas of common sense reasoning in that language.The knowledge recorded in Cyc included common sense models of time, causality, physics, intentions, and many others.The starting point for knowledge representation is the "knowledge representation hypothesis" first formalized by Brian C. Smith in 1985