Re: SUO: Re: The lattice of theories + language-games
Two corrections.
----- Original Message -----
From: "Robert E. Kent" <rekent@ontologos.org>
To: "Cathy Legg" <clegg@cyc.com>
Cc: "Bill Andersen" <andersen@ontologyworks.com>; "John F. Sowa"
<sowa@bestweb.net>; "SUO" <standard-upper-ontology@ieee.org>
Sent: Thursday, June 13, 2002 7:43 PM
Subject: Re: SUO: Re: The lattice of theories + language-games
> I believe Jim Farrugia will be attempting to do that sometime this summer.
> See his recent message
> http://suo.ieee.org/email/msg08740.html.
The whole IFF team will be involved in this effort.
BTW, we are also interested in defining an IFF I/O portal for CycL.
> signature(refer(L)), where examples of relation types might be the
marriage
> relation on Person x Person, the project relation between Organization and
> Person, etc.
In hindsight this doesn't parse. Take the example
_German Bauer_ works on the _user interface project_ for _Mozilla.org_.
So let Project be an entity type with the mozilla user interface project as
one example. Then works-on is a ternary relation on the ternary Cartesian
product Person x Project x Organization.
Robert E. Kent
rekent@ontologos.org