| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
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.