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

temporal tuple calculus
.טכנול	时态元组演算