#<HTML><pre>
# KEHOME/bin/mkr2rdf
# Aug/16/2003
# convert MKR statements to RDF statements
# usage: mkr2rdf mkrfile rdffile

export KBFILE="$PWD/$2"
ke <<EOF
set kbmode=tap;
do read from "$1" done;
exit;
EOF

#</pre></HTML>
