在Tarski’sWorld中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令