Re: Transitive properties

On 2004-07-21, Richard Newman uttered:

>:John :bioRel :Bob .
>
>   I get reflexive results (i.e. John is his own relative):
>
>:John :bioRel :Bob, :John .
>:Bob :bioRel :John , :Bob .

Yes. p(a,b) and p symmetric implies p(b,a). p(a,b) and p(b,a) with p
transitive implies p(a,a). Follow the transitive chain starting with b
and you get p(b,b) too. So yeah, your results are correct.
-- 
Sampo Syreeni, aka decoy - mailto:decoy@iki.fi, tel:+358-50-5756111
student/math+cs/helsinki university, http://www.iki.fi/~decoy/front
openpgp: 050985C2/025E D175 ABE5 027C 9494 EEB0 E090 8BA9 0509 85C2