Re: Classes and predicates as first class objects

From: "R.V.Guha" <guha@guha.com>
Subject: Classes and predicates as first class objects
Date: Wed, 14 Aug 2002 14:19:56 -0700

[...]

>  RDF, which has been largely influenced by the experimental "scruffy" 
> side of AI has gone the route of many experimental AI systems (starting 
> from KRL, RLL, .... CycL) and incorporated these as first class objects. 

[...]

Hmm.  It appears to me that CycL does *not* treat predicates as first-class
objects,  In particular, the syntax for CycL at
http://www.cyc.com/cycl.html appears to disallow quantification over
predicates.

peter

Received on Thursday, 15 August 2002 09:58:57 UTC