Suppose Mount Everest, known as Sagarmatha in Nepal or Chomolungma in Tibet, is Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas.
Can we infer that "Mount Everest is the second highest mountain on Earth."? Yes, no, or maybe?