first-order-logic - 该语句的一阶逻辑表示？

Question

对于表达式

从波士顿起飞的航班到了。

我需要给出一个面向事件的一阶逻辑表示。

如果是的话the flight arrived，我会说

到达(e) ^ 到达_事物(e,flight)

我如何将命题短语融入from boston其中？

Answer 1

如果你想保持 Arrived 和arrived_thing

Arrived(e) ^ Arrived_thing(e,flight) ^ Before(boston, flight)

希望这可以帮助。