SK-Languages As a Powerful and Flexible Semantic Formalism for the Systems of Cross-Lingual Intelligent Information Access. IJCAI 2017, 41 (2).