Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
CPR.txt 13-Nov-2000 18:23 4.4K
Cyc-upper.txt 22-Jun-2000 17:48 2.1M
Enterprise.txt 22-Jun-2000 17:47 61K
Guarino.txt 13-Nov-2000 18:21 15K
Holes.txt 05-Dec-2000 17:24 43K
Russell-Norvig.txt 21-Jun-2000 19:31 2.0K
![[ ]](/icons/compressed.gif){kind=icon}
SUMOinXML.zip 28-Dec-2003 13:50 71K
Smith.txt 13-Nov-2000 18:21 9.5K
Sowa.txt 03-Dec-2000 22:33 26K
allen.txt 23-Jun-2000 15:38 3.4K
cyc-merged-ontology.txt 21-Jun-2000 15:43 1.6M