Suppose Mount Everest, also known in Nepal as Sagarmatha and in Tibet as Chomolungma, is Earth's highest mountain above sea level. It is located in the Himalayas and has a peak elevation of 8,848.86 meters (29,031.7 feet). The first confirmed ascent of Everest was made by Sir Edmund Hillary and Tenzing Norgay in 1953.
Can we infer that "Mount Everest is the tallest mountain on Mars."? Yes, no, or maybe?