NOT MT Error?

Nonsense.  I've got it the wrong way round.

Brian

At 18:28 11/11/2002 +0000, Brian McBride wrote:

>Ok, usual caveats about lack of expertise.
>
>I'm concerned about the definition of an instance of graph and the 
>instance lemma.
>
>The definition of instance of seems to say that
>
><ex:a> <ex:b> _:xxx .
>_:xxx  <ex:isDistinctFrom> _:xxx
>
>is an instance of:
>
><ex:a> <ex:b> _:xxx .
><ex:a> <ex:b> _:yyy .
>_:xxx <ex:isDistinctFrom> _:yyy .
>
>I'm not sure webont would like the latter entailing the former.
>
>Brian

Received on Monday, 11 November 2002 13:34:51 UTC