nt)?

Robert E. Kent
rekent@ontologos.org


----- Original Message -----
From: "pat hayes" &lt;phayes@ai.uwf.edu&gt;
To: "West, Matthew MR SSI-GREA-UK" &lt;Matthew.R.West@is.shell.com&gt;
Cc: &lt;standard-upper-ontology@ieee.org&gt;
Sent: Friday, April 06, 2001 2:12 PM
Subject: RE: SUO: RE: KIF syntax and semantics and a basic ontology


&gt; &gt; &gt;
&gt; &gt; &gt; One thing we do have is the ability to give a bunch of axioms a name,
&gt; &gt; &gt; and then include them in another module by using the name