| (subclass Language LinguisticExpression) | Merge.kif 1405-1405 | Langage est une sous-classe de expression linguistique |
| (subclass WrittenLanguage Language) | Merge.kif 1413-1413 | WrittenLanguage est une sous-classe de langage |
| (subclass AnimalLanguage Language) | Merge.kif 1415-1415 | Langage animal est une sous-classe de langage |
| (subclass ArtificialLanguage Language) | Merge.kif 1429-1429 | Language artificiel est une sous-classe de langage |
| (subclass HumanLanguage Language) | Merge.kif 1446-1446 | Langage humain est une sous-classe de langage |
|
|