Thread Index (Page 236 of 274)
- SUO: first-order languages and language morphisms (was: sorts, types and constraints), (continued)
Thu, 26 Oct 2000 13:00:40 -0400 (EDT)
- Re: SUO: Re: KIF & Re: Naming Problems,
John F. Sowa
Wed, 25 Oct 2000 19:32:38 -0400 (EDT)
- SUO: All Liar, No Paradox,
Jon Awbrey
Mon, 23 Oct 2000 17:36:01 -0400 (EDT)
- RE: SUO: Maintenance - related issues - elitism,
Horn, Graham
Mon, 23 Oct 2000 05:30:04 -0400 (EDT)
- SUO: SUO Controlled English (SUOCE),
John F. Sowa
Mon, 23 Oct 2000 00:32:50 -0400 (EDT)
- SUO: RE: Simplified/Controlled English,
Michael Uschold
Sun, 22 Oct 2000 15:26:55 -0400 (EDT)
- Re: SUO: RE: Simplified/Controlled English,
John F. Sowa
- Re: SUO: RE: Simplified/Controlled English,
Michael Uschold
- SUO: RE: Simplified/Controlled English,
Horn, Graham
- RE: SUO: RE: Simplified/Controlled English,
Horn, Graham
- RE: SUO: RE: Simplified/Controlled English,
John F. Sowa
- RE: SUO: RE: Simplified/Controlled English,
Patrick Cassidy
- RE: SUO: RE: Simplified/Controlled English,
Horn, Graham
- SUO: Testing Process,
Jim Schoening
Sun, 22 Oct 2000 14:17:19 -0400 (EDT)
- RE: SUO: Language Discusssion (formerly under "Maintenance - related issues"),
John F. Sowa
Sun, 22 Oct 2000 12:28:43 -0400 (EDT)
- SUO: Construing experience through language,
John F. Sowa
Sun, 22 Oct 2000 11:53:47 -0400 (EDT)
- SUO: Matter being elevated to IEEE,
Jim Schoening
Sat, 21 Oct 2000 15:20:21 -0400 (EDT)
- SUO: I set a bad precedence on disclosure,
Schoening, James R CECOM DCSC4I
Sat, 21 Oct 2000 12:29:07 -0400 (EDT)
- SUO: RE: Re: Query: Reification,
West, Matthew MR SSI-GREA-UK
Sat, 21 Oct 2000 12:10:50 -0400 (EDT)
Return to top of Page
Return to IEEE P1600.1 Standard Upper Ontology (SUO) area
Mail converted by MHonArc