The knowledge base is divided into "microtheories" (Mt), collections of concepts and facts typically pertaining to one particular realm of knowledge.
База знаний Cyc разделена на "микротеории" (Mt), коллекции концепций и фактов, принадлежащих одной конкретной области знаний.