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

first-order predicate logic
כלל.	一階述語論理 Dictionary of Linguistics (Francis Bond)
first order predicate logic
כלל.	第一階述語論理 Dictionary of Linguistics (Francis Bond)
אנגלית אוצר מילים
first-order predicate logic
.נוֹטָ, .מָתֵי	first-order logic (ssn)