Index of ftp://ksl.stanford.edu/pub/knowledge-sharing/ontologies/html/kif-lists

Parent Directory

ADJOIN.html   1.09Kb   October 3 1994   [find mirrors]
APPEND.html   1.38Kb   October 3 1994   [find mirrors]
BUTLAST.html   916.00b   October 3 1994   [find mirrors]
CONS.html   1.11Kb   October 3 1994   [find mirrors]
DOUBLE.html   757.00b   October 3 1994   [find mirrors]
FIRST.html   745.00b   October 3 1994   [find mirrors]
index.html   5.15Kb   October 3 1994   [find mirrors]
ITEM.html   1.07Kb   October 3 1994   [find mirrors]
kif-lists.lisp.html   14.88Kb   October 3 1994   [find mirrors]
LAST.html   926.00b   October 3 1994   [find mirrors]
LENGTH.html   1.12Kb   October 3 1994   [find mirrors]
LIST.html   466.00b   October 3 1994   [find mirrors]
LISTOF.html   941.00b   October 3 1994   [find mirrors]
NIL.html   600.00b   October 3 1994   [find mirrors]
NTH.html   1.26Kb   October 3 1994   [find mirrors]
NTHREST.html   1.47Kb   October 3 1994   [find mirrors]
NULL.html   757.00b   October 3 1994   [find mirrors]
REMOVE.html   1.46Kb   October 3 1994   [find mirrors]
REST.html   843.00b   October 3 1994   [find mirrors]
REVAPPEND.html   1.38Kb   October 3 1994   [find mirrors]
REVERSE.html   1.02Kb   October 3 1994   [find mirrors]
SINGLE.html   757.00b   October 3 1994   [find mirrors]
SUBLIST.html   1.02Kb   October 3 1994   [find mirrors]
SUBST.html   1.23Kb   October 3 1994   [find mirrors]
TRIPLE.html   757.00b   October 3 1994   [find mirrors]

`ADJOIN.html`	`1.09Kb`	`October 3 1994`	`[find mirrors]`
`APPEND.html`	`1.38Kb`	`October 3 1994`	`[find mirrors]`
`BUTLAST.html`	`916.00b`	`October 3 1994`	`[find mirrors]`
`CONS.html`	`1.11Kb`	`October 3 1994`	`[find mirrors]`
`DOUBLE.html`	`757.00b`	`October 3 1994`	`[find mirrors]`
`FIRST.html`	`745.00b`	`October 3 1994`	`[find mirrors]`
`index.html`	`5.15Kb`	`October 3 1994`	`[find mirrors]`
`ITEM.html`	`1.07Kb`	`October 3 1994`	`[find mirrors]`
`kif-lists.lisp.html`	`14.88Kb`	`October 3 1994`	`[find mirrors]`
`LAST.html`	`926.00b`	`October 3 1994`	`[find mirrors]`
`LENGTH.html`	`1.12Kb`	`October 3 1994`	`[find mirrors]`
`LIST.html`	`466.00b`	`October 3 1994`	`[find mirrors]`
`LISTOF.html`	`941.00b`	`October 3 1994`	`[find mirrors]`
`NIL.html`	`600.00b`	`October 3 1994`	`[find mirrors]`
`NTH.html`	`1.26Kb`	`October 3 1994`	`[find mirrors]`
`NTHREST.html`	`1.47Kb`	`October 3 1994`	`[find mirrors]`
`NULL.html`	`757.00b`	`October 3 1994`	`[find mirrors]`
`REMOVE.html`	`1.46Kb`	`October 3 1994`	`[find mirrors]`
`REST.html`	`843.00b`	`October 3 1994`	`[find mirrors]`
`REVAPPEND.html`	`1.38Kb`	`October 3 1994`	`[find mirrors]`
`REVERSE.html`	`1.02Kb`	`October 3 1994`	`[find mirrors]`
`SINGLE.html`	`757.00b`	`October 3 1994`	`[find mirrors]`
`SUBLIST.html`	`1.02Kb`	`October 3 1994`	`[find mirrors]`
`SUBST.html`	`1.23Kb`	`October 3 1994`	`[find mirrors]`
`TRIPLE.html`	`757.00b`	`October 3 1994`	`[find mirrors]`