Suppose Mount Everest, also known in Nepal as Sagarmatha and in China as Chomolungma, is Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. The international border between Nepal (Province No. 1) and China (Tibet Autonomous Region) runs across its summit point, with the northestern part of the summit located in Tibet and the southern part in Nepal.
Can we infer that "Mount Everest is the highest mountain on Mars."? Yes, no, or maybe?