Re: SUO: Re: The lattice of theories + language-games
----- Original Message -----
From: "Robert E. Kent" <firstname.lastname@example.org>
To: "Cathy Legg" <email@example.com>
Cc: "Bill Andersen" <firstname.lastname@example.org>; "John F. Sowa"
<email@example.com>; "SUO" <firstname.lastname@example.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
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
> 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