Therefore, we can infer the first triple in Table 4 based on the above triple due to the general logic that "language/human language/writing system" and "/language/language writing system/languages" are a pair of inverse relations.
we believe it is important to incorporate the logic rules into knowledge embeddings, especially for the entities and relations with limited occurrences.