(subclass NaturalLanguage HumanLanguage) | Merge.kif 1477-1477 | Natural language is a subclass of human language |
(subclass LanguageFamily NaturalLanguage) | Languages.kif 12647-12647 | Language family is a subclass of natural language |
(subclass ChineseLanguage NaturalLanguage) | Languages.kif 14594-14594 | Chinese language is a subclass of natural language |