Answer Happy

Posted: **Tue Jul 05, 2022 10:25 am**

: 1 Consider The Following Tbox Vr Aer C Which Option Is The First Order Formula That Is Translated From This Tbox O V 1 (40.5 KiB) Viewed 8 times

1. Consider the following TBox. VR. AER.C Which option is the First-Order formula that is translated from this TBox? O Vy(R(x, y) A A(y)) →y(R(x, y) ^ C(y)) O Vx(Vy(R(x,y) → A(y)) →→→y(R(x, y) ^ C(y))) O Va(Vy(R(x, y) ^ A(y)) →y(R(x, y) ^ C(y))) O Vy(R(x,y) → A(y)) →y(R(x, y) ^ C(y))