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

first-order logic
.טכנול	предикатів першого порядку; логіка першого порядку
מחש.	числення предикатів першого порядку
אנגלית אוצר מילים
first-order logic
.מָתֵי	first-order predicate logic (ssn)