formal semantic language 📖 中文释义 [计] 形式语义语言 ← formal semantic description F 字母词表 formal semantic model →