The company goal is the unification of structured knowledge into a coherent entity. Structured knowledge is fragmented in data bases, programming languages, mathematics, and logic.