On Tue, 14 Jan 2003, Pei Wang wrote:
I'm working on a paper to compare predicate logic and term logic. One
argument I want to make is that it is hard to infer on uncountable nouns in
predicate logic, such as to derive ``Rain-drop is a kind of liquid'' from
Water is a kind of liquid'' and
I'm working on a paper to compare predicate logic and term logic. One
argument I want to make is that it is hard to infer on uncountable nouns in
predicate logic, such as to derive ``Rain-drop is a kind of liquid'' from
Water is a kind of liquid'' and ``Rain-drop is a kind of water'', (which
can