ruly incompatible theories, that are themselves useful, are 
very few.  Notwithstanding Pat's paper cataloguing different temporal 
theories, there's been very little precise characterization in logic of 
what some different theories might be, and how they might be 
incompatible.  Until we have clear evidence that a single coherent ontology 
is impossible, I think it would be wrong to abandon that goal.

Adam

At 07:45 PM 3/12/2001 -0800, Michael Uschold wrote:

&gt;I'm afraid that I have been unable to get