短语词组短语first -order fuzzy language 一阶模糊语言many -sorted first-order fuzzy language 多类一阶模糊语言 返回 first order language