אנגלית ⇄ סינית +

high order logic
.טֶכנו	高阶逻辑
high-order logic
.מָתֵי	★ 高阶逻辑