منطق د رسمي سیمانټیکونو چمتو کولو لپاره کارول کیږي چې څنګه د استدلال دندې باید د KR سیسټم کې سمبولونو ته پلي شي.