Suppose Mount Everest is Earth's highest mountain above sea level, located in the Mahalangur Range of the Himalayas. The current official height of 8,848.86 meters was measured by the Indian survey in 1954.
Can we infer that "Mount Everest is located in Antarctica."? Yes, no, or maybe?