Re: predicate in a predicate

Keenlearner <yingun@xxxxxxxxx> writes:

So I need to use the live_in(John, Bali) and live_with(John, Marry) in
order to be compliance with FOL ? or what do you think ? I am doing
natural language processing research, where a English sentence will be
converted into FOPC and then Prolog clauses to be proved. Thank you
for the reply.

It's possible to capture both, but only in an ad hoc and unconvincing
manner.

You could define a three-place "lives" predicate, in which the third
place indicates either "in" or "with", so that we express your claims
as:

live(John, Bali, in)
live(John, Marry, with)

But this is not very satisfactory, since the "in/with" distinction
seems a bit more fundamental than is expressed here. Especially when
we consider linguistic oddities like:

live(John, lung cancer, with)

I.e., John lives *with* the condition and effects of lung cancer.
This may be a particularly American expression.
--
Jesse F. Hughes
"And I'm one of my own biggest skeptics as I had *YEARS* of wrong
ideas, and attempts that failed. Worse, for some of them it took
*MONTHS* before I figured out where I screwed up." -- James Harris
.

Loading