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

first-order predicate logic
.טֶכנו	一阶谓词逻辑
first order predicate logic
.מֶרחָ	★ 一阶谓词逻辑
אנגלית אוצר מילים
first-order predicate logic
.נוֹטָ, .מָתֵי	first-order logic (ssn)