(subclass ConstructedLanguage HumanLanguage) | Merge.kif 1460-1460 | Lingagem Construida e' uma sub-classe de Linguagem Humana |
(subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1461-1461 | Lingagem Construida e' uma sub-classe de Linguagem Artificial |