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

first-order predicate logic
.טכנול	calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats
אנגלית אוצר מילים
first-order predicate logic
.נוֹטָ, .מָתֵי	first-order logic (ssn)