而实际上，电脑程序的证明方式，据目前所知，是前人们从未曾提出过的。
And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
据目前所知，中国末代皇帝溥仪有5个妻子，李玉琴是其中的一位。
As FAR as is known, Pu Yi, the last emperor of China, had five wives.
据目前所知，马里大象的迁移路程为最长。它们每年通过干旱的萨赫勒地区兜上一圈，行进的路程约为300英里（482公里）。
The elephants of Mali make the longest known elephant migration, advancing 300 miles (482 kilometers) through the arid Sahel during their annual circuit.
据目前所知，马里大象的迁移路程为最长。它们每年通过干旱的萨赫勒地区兜上一圈，行进的路程约为300英里（482公里）。
The elephants of Mali make the longest known elephant migration, advancing 300 miles (482 kilometers) through the arid Sahel during their annual circuit.
应用推荐