Re: Interpretation of Relations

On second thought, following may be a better test:

(new 'red 'color)
(new 'blond 'color)

(new 'hair1 'hair)
(set hair1 color blond)

(new 'joe 'person)
(set joe has hair1)

(; Get joe hasn't hair whose color is red)
(new 'hasn't 'verb)
(get joe hasn't (& (get hair instance *)

                          (get * color red)))

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