Re: Interpretation of Relations

> I've been wrestling with the correct interpretation of a relation.
>
> Domain D_People = {Joe}
> Domain D_Hair = {Red, Blond}
>
> Relation R_People = <<D_People>: {{Joe}}>
> Relation R_Hair Colour = <<D_People X D_Hair>: {{Joe, Blond}}>
>
> So, I should interpret this to mean that "Joes hair is blond".
> This second fact is "NOT Joes hair is red".

Below I test your hypothesis with an experimental db.

(new 'red 'hair_color)
(new 'blond 'hair_color)

(new 'joe 'person)
(set joe hair_color blond)

(; Get joe hair_color red)
(get joe hair_color red)

The last expression returns nothing, impling db doesn't know this fact. Received on Fri Jan 19 2007 - 05:53:53 CET