這條語句的一階邏輯表示？

Question

對於表達

從波士頓的航班抵達。

我需要給出一個面向事件的一階邏輯表示。

如果是the flight arrived，我會說

抵達（E）^ arrived_thing（即飛行）

如何納入命題短語from boston的呢？

如果你想

Answer 1

保持趕到arrived_thing

抵達（E）^ Arrived_thing（即飛行）^前（波士頓，飛行）

希望這有助於。