אנגלית ⇄ אוקראינית איטלקית אנגלית גרמנית דנית הולנדית יוונית יפנית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

predicate logic
.טכנול	логіка предикатів
אנגלית אוצר מילים
predicate logic
.נוֹטָ	quantificational logic (ssn)