“事件形式化表示法”的概念、定义、翻译、参考文献-科学参考

单词	事件形式化表示法
释义	事件形式化表示法 Encyclopedia 文学计算语言学释 formal representation of event事件形式化表示法在一阶谓词演算中，表示一个单独的谓词以及与给定的实例相联系的多个论元事件的形式化方法。
随便看	Chu Qi Dong Men Chuqiu Chu Quan Chuquet Church church church collection in the late Ming and early Qing Dynasties church fathers Churchill River Church in Lalibela Church Kleene omega1 Church-Kleene omega 1 Church-Kleene omega1 Church Kleene ω_1 Church-Kleene ω1 Church-Kleene ω_1 Church lambda-abstraction church militant church music Church numeral Church of Bayana Church of Corvey Monastery Church of England Church of Jesus Christ of Latter-day Saints / Mormonism Church of John Chrysostom in Yaroslavl

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。