Suppose Mount Everest, also known in Nepali as Sagarmatha and in Tibetan as Chomolungma, 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 tallest mountain in the world"? Yes, no, or maybe?