January 2002 Archives by thread

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

Starting: Tue Jan 1 20:29:40 CST 2002
Ending: Sat Jan 26 12:51:48 CST 2002
Messages: 15

• KIF: Re: SUMO axiomatization   Christopher A. Welty
  • SUO: Re: KIF: Re: SUMO axiomatization   John F. Sowa
• KIF: "Abstract" and "dimensionality" - Re: SUMO axiomatization   Horn, Graham
  • KIF: RE: "Abstract" and "dimensionality" - Re: SUMO axiomatization   Chris Lofting
  • KIF: Re: SUO: "Abstract" and "dimensionality" - Re: SUMO axiomatization   Mike Pool
    • KIF: Re: SUO: "Abstract" and "dimensionality" - Re: SUMOaxiomatization   John F. Sowa
• [KIF] New mailing list   Chris Menzel
• [KIF] New list software   Chris Menzel
• [KIF] Re: KIF: Re: SUO: RE: SUMO axiomatization   Pat Hayes
  • [KIF] Re: KIF: Re: SUO: RE: SUMO axiomatization   Adam Pease
    • [KIF] Re: KIF: Re: SUO: RE: SUMO axiomatization   Bill Andersen
      • [KIF] Re: KIF: Re: SUO: RE: SUMO axiomatization   Pat Hayes
    • [KIF] Re: KIF: Re: SUO: RE: SUMO axiomatization   Pat Hayes
      • [KIF] Levels of conformance   Christopher A. Welty
      • [KIF] Levels of conformance   John F. Sowa

Last message date: Sat Jan 26 12:51:48 CST 2002
Archived on: Fri Oct 10 03:36:12 CST 2003

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