Can first order logic represent a past occurring adverbial dependent clause with a present main clause to form the perfect tense?
Is this the way to represent an adverbial dependent clause with first order logic?
I have existed since before Bill was born.
BEFORE(PAST(BORN(BILL)),PRESENT(IS(I)))
Since BORN(BILL) can be represented with BORN(e1,BILL) can first order logic represent E, R and U as described in this example for present perfect?