Index of /file/project/protege-kif/protege-sumo155k

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 SUMO155k.pprj              17-Nov-2003 14:40  151K  
 SUMO155k-1.pprj            17-Nov-2003 14:39  152K  
 SUMO155k-1.pont            17-Nov-2003 14:39  474K  
 SUMO155k.pont              17-Nov-2003 14:40  474K  
 SUMO155k-1.pins            17-Nov-2003 14:39  902K  
 SUMO155k.pins              17-Nov-2003 14:40  902K