KLMM的全称：Key Laboratory of Mathematics Mechanization (Chinese Academy of Sciences) | 中文意思：───数学机械化重点实验室(中国科学院)
KLMM的全称：Karen Lee Mosely Ministries (Tulsa, OK) | 中文意思：───李姿霆莫斯里侦探部(塔尔萨，俄克拉荷马)
