(subclass Language LinguisticExpression) | Merge.kif 1405-1405 | 语言 是 语言式表达 的 subclass |
(subclass WrittenLanguage Language) | Merge.kif 1413-1413 | WrittenLanguage 是 语言 的 subclass |
(subclass AnimalLanguage Language) | Merge.kif 1415-1415 | 兽语 是 语言 的 subclass |
(subclass ArtificialLanguage Language) | Merge.kif 1429-1429 | 人造语言 是 语言 的 subclass |
(subclass HumanLanguage Language) | Merge.kif 1446-1446 | 人类语言 是 语言 的 subclass |