Suppose Mount Everest, also known in Nepal as Sagarmatha and in Tibet as Chomolungma, is Earth's highest mountain. The international border between China (Tibet Autonomous Region) and Nepal runs across its summit point. The current official height of 8,848.86m was recognized by both Nepal and China in 2020 following a re-measurement commissioned by China.
Can we infer that "Mount Everest is the tallest mountain in the world."? Yes, no, or maybe?