آلة المعرفة (لغة برمجة)
آلة المعرفة  واختصارًا: KM، هي لغة معتمدة-الإطار تستخدم لأعمال تمثيل المعرفة. لديها دلالات منطق رتبة-أولى، وَتتضمّن آليَّة للتفكّر، متضمّنةً الاختيار وفق الوصف وَالتوحيد وَالتصنيف وَالتفكّر بالأفعال(الأعمال). أصلها هي لغة ثيو وَلغة تمثيل المعرفة وَطُبِّقَت في لغة ليسب.

روابط خارجيّة 
 KM: The Knowledge Machine. 
 An Ontology editor for the KM language: KMgen.

تمثيل المعرفة
لغات برمجة تعريفية
آلة المعرفة واختصارًا : KM ، هي لغة معتمدة - الإطار تستخدم ل أعمال تمثيل المعرفة . لدي ها دلالات منطق رتبة - أولى ، وَتتضمّن آليَّة للتفكّر ، متضمّنةً الاختيار وفق الوصف وَالتوحيد وَالتصنيف وَالتفكّر بالأفعال ( الأعمال ) . أصل ها هي لغة ثيو وَلغة تمثيل المعرفة وَطُبِّقَت في لغة ليسب . روابط خارجيّة KM : The Knowledge Machine . An Ontology editor for the KM language : KMgen . تمثيل المعرفة لغات برمجة تعريفية