أرسل هذا في رسالة قصيرة: Knowledge representation for quranic verses using logical formalism /