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

first-order predicate calculus
.בינה	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
.טכנול	Prädikatenlogik 1.Ordnung; Prädikatenlogik f