Cyc system and it's ontology library

The work presents the ontology library, which is developed in program system named as Cyc. Presently, Cyc system is the biggest storage of facts in the world. The facts in the storage describe knowledge that is used in everyday human's activity. The description of the system is big enough and so is devided on two parts. In the first part the general information concerning the system is presented. There is the description of CycL language as well. CycL language is used to enter new facts in Cyc ontology storage.