![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cyc-merged-ontology.lsp | 2004-01-08 16:09 | 1.6M | |
| analogy-dt.lsp | 2004-01-08 16:09 | 31K | |
| quantification-tests..> | 2004-01-08 16:09 | 11K | |
| bc-logic-tests.lsp | 2004-01-08 16:09 | 5.5K | |
| TOU-tests.lsp | 2004-01-08 16:09 | 3.1K | |
| kappa-tests.lsp | 2004-01-08 16:09 | 3.1K | |
| TDC-tests.lsp | 2004-01-08 16:09 | 1.4K | |
| vssver.scc | 2004-01-08 16:10 | 144 | |
| kb/ | 2004-06-09 21:33 | - | |