事件形式化表示法（formal representation of event），文学-语言文字-计算语言学及语料库语言学-计算语言学，在一阶谓词演算中，表示一个单独的谓词以及与给定的实例相联系的多个论元事件的形式化方法。例如，“Make a reservation for this evening for a table for two persons at 8 in Log-house Restaurant.”（今晚8时在Log-house餐厅预订一个两人餐位。）这个事件的表示包括一个单独的谓词“Reservation”（预订）以及听话人在预订时所需要的论元，如饭馆名称、日期、时间、参加人数等，如下所示：Reservation (Hearer, Log-house, Today, 8PM, 2)如果谓词是动词，这种方法简单地假定，表示动词意义的谓词的论元数目与该动词在它的次范畴化框架中所表现出来的论元数目是相同的。下面来集中地研究与动词“eat”（吃）有关的例子：例1：I ate.（我吃了。）例2：I ate a sandwich.（我吃了一个三明治。