Hi Aaron, > > We can imagine that anounymous terms are identified 'by their content' > > I certainly hope not. At least, this is not the way I use > anonymous terms. I imagine anonymous terms being equivalent to > stating "a term with these properties" not "all terms with these > properties". > If two people in a room call out that they're > thinking of something gray... > > :Person1 :thinkingOf [ :color :Gray ] . > :Person2 :thinkingOf [ :color :Gray ] . > > ... we cannot conclude that they are both thinking of elephants, > or at least of the same thing. One may be thinking of the New > York Times and the other of his office building. I think/hack that both anonymous *terms* can be *unified* which is NOT the same as equality -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Friday, 15 June 2001 04:37:22 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:37:09 EDT