Yes, you know a lot about Chinese. But the Jing of JingOS means Whale specifically. You can check here: https://www.jingos.com/about/