(subclass Language LinguisticExpression) | Merge.kif 1405-1405 | 言語 は 言語表現 の subclass では %n |
(subclass WrittenLanguage Language) | Merge.kif 1413-1413 | WrittenLanguage は 言語 の subclass では %n |
(subclass AnimalLanguage Language) | Merge.kif 1415-1415 | 動物言語 は 言語 の subclass では %n |
(subclass ArtificialLanguage Language) | Merge.kif 1429-1429 | 人工言語 は 言語 の subclass では %n |
(subclass HumanLanguage Language) | Merge.kif 1446-1446 | 人間の言語 は 言語 の subclass では %n |