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

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