Suppose Mount Everest, also known in Nepal as Sagarmatha and in Tibet as Chomolungma, is Earth's highest mountain. Its peak is 8,848 meters (29,029 feet) above sea level.
Can we infer that "Mount Everest is the highest mountain on Earth"? Yes, no, or maybe?