منطق برای ارایه سمنتکس رسمی از نحوه اعمال توابع استدلال به سمبول ها در سیستم KR استفاده میشود.