Re: on behalf of sandro

From: Richard Fikes (
Date: 10/24/01

>The knowledge base contains the statements: "Pat's car is blue, and
>there is something colored red."  Somewhat more formally:
>   RDF(PatsCar, color, blue).
>   exists x (RDF(x, color, red)).

Sorry to be dense, but how does one state "there is something colored
red" in DAML+OIL?


This archive was generated by hypermail 2.1.4 : 04/02/02 EST