Suppose Mount Everest is Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. The international border between China (Tibet Autonomous Region) and Nepal runs across its summit point.
Can we infer that "Mount Everest is the tallest mountain in the world"? Yes, no, or maybe?