Suppose Mount Everest, also known in Nepal as Sagarmatha and in Tibet as Chomolungma, is the Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. The international border between China and Nepal runs across its summit point.
Can we infer that "Mount Everest is taller than 9,000 meters"? Yes, no, or maybe?