„Wie aus den Beispielen hervorgeht, werden in der Prädikatenlogik zur formalen Wissensbeschreibung Objekte, Prädikate und die Operatoren & (und), | (oder), ¬ ( nicht ), (Implikation) und die ''Quantoren'' (Allquantor) und (Existenzquantor) benutzt.“
"همانطور که از مثالها پیداست، در منطق گزارهای برای توصیف رسمی دانش، از اشیاء، گزارهها و عملگرهای & (و)، | (یا)، ¬ (نه)، (استلزام) و "سورهای" (سور عمومی) و (سور وجودی) استفاده میشود."
