| (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 |
|
|