(subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1518-1518 | Written human language is a subclass of human language |
(subclass ChineseLanguage WrittenHumanLanguage) | Languages.kif 14593-14593 | Chinese language is a subclass of written human language |
![]() |