(subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1508-1508 | WrittenHumanLanguage e' uma sub-classe de Linguagem Humana |
(subclass ChineseLanguage WrittenHumanLanguage) | Languages.kif 14593-14593 | ChineseLanguage e' uma sub-classe de WrittenHumanLanguage |