  



At 04:13 PM 3/16/01 +1100, Horn, Graham wrote:
&gt;&lt;snip&gt; Notice that the agreement requires that any use of any axioms which
&gt;are *logically equivalent* to any part of Cyc, even if translated into any
&gt;other natural or artificial language, must be credited to Cycorp. This means
&gt;that if one uses any part of the Cyc upper ontology and if they also assert
&gt;that, say, every relation is a thing, or that spatial containment is
&gt;transitive, then they must acknowledge that Cycorp owns t