تعلم آلي, تمثيل المعرفة, ذكاء اصطناعي, علوم معرفيةمحرك رسم الخرائط الهيكلية (Structure Mapping Engine)
جبر, رياضيات, مجموعات لانهائية, نظرية الزمرالمجموعة ثنائية الوجوه اللانهائية (Infinite Dihedral Group)