केआर प्रणाली में प्रतीक पर तर्क कार्य के कैसे लागू कैल जाए के चाहि, एकरा औपचारिक शब्दार्थ के आपूर्ति के लेल तर्क के उपयोग कैल जाई हई।