语法化 情态动词 模态（人机交互） 口译（哲学） 点（几何） 认识论 计算机科学 语言学 模式（计算机接口） 话语域 模态算子 期限（时间） 领域（数学分析） 可访问性关系 透视图（图形） 模式 语义学（计算机科学） 主题（文档） 自然（考古学） 情态动词 人工智能 可能的世界 数学