tar xvfz opencyc-0.7.0.tgz