![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| time.htm | 07-Feb-2002 16:24 | 2.3K | |
| kif.htm | 23-Jan-2002 10:10 | 2.6K | |
| UnitsAndMeasures_files/ | 28-Feb-2003 14:45 | - | |
| UnitsAndMeasures.htm | 07-Feb-2002 16:05 | 2.4K | |
| Time_files/ | 28-Feb-2003 14:51 | - | |
| QueryAnswering_files/ | 28-Feb-2003 14:48 | - | |
| QueryAnswering.htm | 24-Jan-2002 11:53 | 2.6K | |
| Ontologies_files/ | 28-Feb-2003 14:51 | - | |
| Ontologies.htm | 07-Feb-2002 15:51 | 2.4K | |
| KIF_files/ | 28-Feb-2003 14:51 | - | |
| Introduction_files/ | 28-Feb-2003 14:50 | - | |
| Introduction.htm | 18-Jan-2002 17:07 | 3.8K | |
| Inference_files/ | 28-Feb-2003 14:50 | - | |
| Inference.htm | 23-Jan-2002 10:14 | 2.6K | |
| FrameLanguages_files/ | 28-Feb-2003 14:48 | - | |
| FrameLanguages.htm | 07-Feb-2002 15:25 | 2.4K | |
| FrameExample_files/ | 28-Feb-2003 14:50 | - | |
| FrameExample.htm | 07-Feb-2002 15:49 | 2.5K | |
| DescriptionLogic_files/ | 28-Feb-2003 14:45 | - | |
| DescriptionLogic.htm | 07-Feb-2002 15:29 | 2.4K | |