(subclass ArtificialLanguage Language) | Merge.kif 1429-1429 | Language artificiel est une sous-classe de langage |
(subclass ComputerLanguage ArtificialLanguage) | Merge.kif 1434-1434 | Langage de programmation est une sous-classe de language artificiel |
(subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1461-1461 | Langage construit est une sous-classe de language artificiel |