CycL

تُعرف أسماء المفاهيم في لغة Cyc بالثوابت . تبدأ الثوابت بـ "#$" وهي حساسة لحالة الأحرف. توجد ثوابت لـ:

• العناصر الفردية المعروفة باسم الأفراد ، مثل #$BillClinton أو #$France.
• المجموعات ، مثل #$Tree-ThePlant (التي تحتوي على جميع الأشجار) أو #$EquivalenceRelation (التي تحتوي على جميع علاقات التكافؤ ). يُطلق على العنصر الموجود في المجموعة اسم مثيل لتلك المجموعة.
• دوال الصواب هي دوال يمكن تطبيقها على مفهوم واحد أو أكثر، وتُرجع إما صوابًا أو خطأً. على سبيل المثال، #$siblings هي علاقة الأخوة، وتكون صوابًا إذا كان الوسيطان شقيقين. اصطلاحًا، تبدأ ثوابت دوال الصواب بحرف صغير. يمكن تقسيم دوال الصواب إلى روابط منطقية (مثل #$and، #$or، #$not، #$implies)، ومحددات كمية (#$ forAll ، #$ thereExists ، إلخ)، ومسندات.
• الدوال هي التي تُنتج مصطلحات جديدة من مصطلحات مُعطاة. على سبيل المثال، الدالة #$FruitFn، عند تزويدها بوسيط يصف نوعًا (أو مجموعة) من النباتات، ستُعيد مجموعة ثمارها. اصطلاحًا، تبدأ ثوابت الدوال بحرف كبير وتنتهي بالسلسلة "Fn".

أهم المسندات هما #$ isa و#$ genls . يصف الأول (#$isa) أن عنصرًا ما هو حالة من مجموعة معينة (أي التخصيص)، بينما يصف الثاني (#$ genls ) أن مجموعة ما هي مجموعة فرعية من مجموعة أخرى (أي التعميم). تُؤكد الحقائق المتعلقة بالمفاهيم باستخدام جمل CycL محددة . تُكتب المسندات قبل وسائطها، بين قوسين.

على سبيل المثال:

(#$isa #$BillClinton #$UnitedStatesPresident) \;

"بيل كلينتون ينتمي إلى مجموعة رؤساء الولايات المتحدة" و

(#$genls #$Tree-ThePlant #$Plant) \;

"جميع الأشجار نباتات".

(#$capitalCity #$France #$Paris) \;

"باريس هي عاصمة فرنسا."

يمكن أن تحتوي الجمل أيضًا على متغيرات، وسلاسل نصية تبدأ بعلامة استفهام "؟". إحدى القواعد المهمة التي تُؤكد على المسند #$isa هي:

(#$implies (#$and (#$isa ?OBJ ?SUBSET) (#$genls ?SUBSET ?SUPERSET)) (#$isa ?OBJ ?SUPERSET))

مع التفسير "إذا كان OBJ مثالاً على المجموعة SUBSET وكانت SUBSET مجموعة فرعية من SUPERSET، فإن OBJ هو مثال على المجموعة SUPERSET".

مثال آخر أكثر تعقيداً هو المثال الذي يعبر عن قاعدة تتعلق بمجموعة أو فئة بدلاً من فرد معين، وهو:

(#$relationAllExists #$ biologicalMother #$ChordataPhylum #$FemaleAnimal)

وهذا يعني أنه لكل مثال من المجموعة #$ChordataPhylum (أي لكل حبلي )، يوجد حيوان أنثى (مثال من #$FemaleAnimal) وهي أمه (الموصوفة بواسطة المسند #$ biologicalMother ).

(أو بعبارة أخرى، إذا كان لحيوان معين عمود فقري، فسيكون هناك رابط من ذلك الحيوان يعبر عن مفهوم "الأم البيولوجية" لذلك الحيوان. يجب أن يكون الشيء الذي "يملأ الفراغ" للأم البيولوجية قابلاً للتصنيف كحيوان أنثى.)

تنقسم قاعدة المعرفة إلى نظريات مصغرة (Mt)، وهي عبارة عن مجموعات من المفاهيم والحقائق التي ترتبط عادةً بمجال معرفي محدد. وعلى عكس قاعدة المعرفة ككل، يُشترط أن تكون كل نظرية مصغرة خالية من التناقضات. لكل نظرية مصغرة اسم ثابت منتظم؛ وتحتوي ثوابت النظريات المصغرة على السلسلة "Mt" اصطلاحًا. مثال على ذلك #$MathMt، وهي النظرية المصغرة التي تحتوي على المعرفة الرياضية. يمكن للنظريات المصغرة أن ترث من بعضها البعض، وهي مُنظمة في تسلسل هرمي.

أحد تخصصات #$MathMt هو #$GeometryGMt، النظرية الجزئية حول الهندسة.