adjective noun first order logic

I am doing natural language processing research, I was wondering which
is the correct way of representing "old man John" in first order
predicate calculus, later on this logic will be converted into Prolog
clauses.

old(john) ^ man(john)

old(john) => man(john)

man(john) => old(john)

if you think one is wrong or right please tell me why ?! Thank you
very very much.
.

Relevant Pages

  • Re: adjective noun first order logic
    ... is the correct way of representing "old man John" in first order ... predicate calculus, later on this logic will be converted into Prolog ...
    (sci.logic)
  • Re: Hey Babe, dats a nice pair you got there--vise jaws, that is... [Re: G-Code Librarie
    ... >> John R. Carroll wrote: ... but your preaching to the choir once again, ... You aren't even making sense Jon. ... "You falsely stated that I was representing specific product lines" ...
    (alt.machines.cnc)
  • Re: Function and Variable: fatal problem?
    ... John and Mary are distinguished by the function 'loves'. ... arguments x and y and maps them to The True if x loves y and maps all ... the modern predicate calculus analyzes /loves/ as a ... predicate calculus is simply this: ...
    (sci.logic)
  • knowledge representation - rule based, first order logic
    ... I am looking for a very powerful system for representing ... represented by a set of rules (represented in first order logic). ... There will be a rule based engine which would be able to do reasoning ... I am hoping there are theorem proving systems or some ...
    (comp.ai)
  • Re: knowledge representation - rule based, first order logic
    ... I am looking for a very powerful system for representing ... represented by a set of rules (represented in first order logic). ... There will be a rule based engine which would be able to do reasoning ... I am hoping there are theorem proving systems or some ...
    (comp.ai)