Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

Re: SUO: Sorted languages/logics

To: standard-upper-ontology@ieee.org (IEEE Standard Upper Ontology List)
Subject: Re: SUO: Sorted languages/logics
From: Chris Menzel <cmenzel@philebus.tamu.edu>
Date: Thu, 26 Oct 2000 14:23:06 -0500
In-Reply-To: Your message of "Thu, 26 Oct 2000 13:16:05 CDT." <200010261816.NAA10746@philebus.tamu.edu>
Sender: owner-standard-upper-ontology@ieee.org


I forgot a clause in the definition of TERMs:

  Constants and variables of sort s are *terms* of sort s.

-chris

References:
- SUO: Sorted languages/logics
  - From: Chris Menzel <cmenzel@philebus.tamu.edu>