July 2001 Archives by thread

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

Starting: Sun Jul 1 21:32:41 CST 2001
Ending: Sun Jul 15 19:39:39 CST 2001
Messages: 120

KIF: new version of KIF-Core Mark Stickel
KIF: new version of KIF-Core Michael Gruninger
- KIF: new version of KIF-Core pat hayes
KIF: new version of KIF-Core John F. Sowa
SUO: Re: SUO starter document - A constructive proposal Chris Menzel
KIF: new version of KIF-Core Adam Pease
- KIF: new version of KIF-Core pat hayes
  - KIF: new version of KIF-Core Adam Pease
    - KIF: new version of KIF-Core Chris Menzel
    - KIF: new version of KIF-Core Adam Pease
    - KIF: new version of KIF-Core Chris Menzel
    - KIF: new version of KIF-Core Adam Pease
    - KIF: new version of KIF-Core John F. Sowa
    - KIF: new version of KIF-Core Adam Pease
    - KIF: new version of KIF-Core John F. Sowa
    - KIF: new version of KIF-Core Mark Stickel
    - KIF: new version of KIF-Core pat hayes
    - KIF: new version of KIF-Core Mark Stickel
    - KIF: new version of KIF-Core Mark Stickel
    - KIF: new version of KIF-Core pat hayes
    - KIF: new version of KIF-Core John F. Sowa
    - KIF: new version of KIF-Core Mark Stickel
    - KIF: new version of KIF-Core Chris Menzel
    - KIF: new version of KIF-Core John F. Sowa
    - KIF: new version of KIF-Core Adam Pease
    - KIF: new version of KIF-Core John F. Sowa
    - KIF: new version of KIF-Core pat hayes
    - KIF: new version of KIF-Core Chris Menzel
KIF: Definitions in KIF pat hayes
KIF: Modules pat hayes
- KIF: Modules Christopher A. Welty
  - KIF: What's our goal? Christopher A. Welty
    - KIF: What's our goal? John F. Sowa
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Christopher A. Welty
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? John F. Sowa
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Chris Menzel
    - KIF: What's our goal? pat hayes
    - KIF: Sorted quantification Chris Menzel
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? John F. Sowa
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? Adam Pease
    - KIF: What's our goal? pat hayes
    - Semantics for quoteless quote (was: Re: KIF: What's our goal?) pat hayes
    - Semantics for quoteless quote (was: Re: KIF: What's our goal?) John F. Sowa
    - Semantics for quoteless quote (was: Re: KIF: What's our goal?) Adam Pease
    - Semantics for quoteless quote (was: Re: KIF: What's our goal?) pat hayes
    - Semantics for quoteless quote (was: Re: KIF: What's our goal?) John F. Sowa
    - KIF: What's our goal? John F. Sowa
    - KIF: What's our goal? pat hayes
    - KIF: What's our goal? John F. Sowa
    - KIF: What's our goal? pat hayes
  - KIF: Modules pat hayes
KIF: new version of KIF-Core pat hayes
- KIF: new version of KIF-Core Chris Menzel
KIF: Definitions in KIF pat hayes
- KIF: Definitions in KIF Mark Stickel
  - KIF: Definitions in KIF Adam Pease
    - KIF: Definitions in KIF Mark Stickel
    - KIF: Definitions in KIF Adam Pease
  - KIF: Definitions in KIF pat hayes
    - KIF: Definitions in KIF Chris Menzel
    - KIF: Definitions in KIF Mark Stickel
    - KIF: Definitions in KIF pat hayes
    - KIF: Definitions in KIF Chris Menzel
    - KIF: Definitions in KIF pat hayes
    - KIF: Definitions in KIF Chris Menzel
    - KIF: Definitions in KIF Mark Stickel
    - KIF: Definitions in KIF John F. Sowa
    - KIF: Definitions in KIF pat hayes
    - KIF: Definitions in KIF pat hayes
    - KIF: Definitions in KIF Mark Stickel
    - KIF: Definitions in KIF John F. Sowa
    - KIF: Definitions in KIF pat hayes
    - KIF: Definitions in KIF Chris Menzel
  - KIF: Definitions in KIF John F. Sowa
KIF: new version of KIF-Core Bill Andersen
- KIF: new version of KIF-Core John F. Sowa
KIF: new version of KIF-Core Uschold, Michael F
KIF: RE: What's our goal? Uschold, Michael F
- KIF: RE: What's our goal? Christopher A. Welty
  - KIF: RE: What's our goal? pat hayes
    - KIF: RE: What's our goal? Christopher A. Welty
KIF: Format for comments and revisions Michael Gruninger
- KIF: Format for comments and revisions Adam Pease
  - KIF: Format for comments and revisions Michael Gruninger
- KIF: Format for comments and revisions Adam Pease
No subject Michael Gruninger
- KIF: Re: pat hayes
  - KIF: Re: Michael Gruninger
    - KIF: Re: Adam Pease
    - KIF: Re: pat hayes
KIF: What's our goal? pat hayes
KIF: Objective Caml John F. Sowa
KIF: Draft of 11179 Part 4 John F. Sowa
- KIF: Re: Draft of 11179 Part 4 Frank Farance
  - KIF: Re: Draft of 11179 Part 4 John F. Sowa

Last message date: Sun Jul 15 19:39:39 CST 2001
Archived on: Fri Oct 10 03:35:46 CST 2003

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).