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

Re: SUO: OpenCyc Released - concepts/assertions?




On 4/6/02 15:25, "Jim Farrugia" <jim@spatial.maine.edu> wrote:

> 
> 
> I've looked through the untarred distribution and have found lots of
> vocabulary (concepts?) under
> 
> opencyc-0.6.0/run/httpd/htdocs/cycdoc/vocab
> 
> Where are the assertions?

In the KB - you look at them through the UI.  I think John D'Olivera said
something about there being a programming API, by which you could dump the
axioms if you wanted.