![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation ConstructedLanguage ChineseLanguage " ConstructedLanguage 是一种没有机会 在语言社区自然的演变的 HumanLanguage ,反而它的核心语法和词汇是由一个或以上的语言专家所编造,一般的 目的是为了编制一个文法比其他任何自然演化语言更有规则的语言。这个 Class 包括像「世界语」的语言,它们的出 现是为了促进国际间的沟通。") | chinese_format.kif 1667-1670 | |
(documentation ConstructedLanguage EnglishLanguage "An ConstructedLanguage is a HumanLanguage that did not evolve spontaneously within a language community, but rather had its core grammar and vocabulary invented by one or more language experts, often with an aim to produce a more grammatically regular language than any language that has evolved naturally. This Class includes languages like Esperanto that were created to facilitate international communication.") | Merge.kif 1347-1353 | |
(subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1346-1346 | Constructed language is a subclass of artificial language |
(subclass ConstructedLanguage HumanLanguage) | Merge.kif 1345-1345 | Constructed language is a subclass of human language |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ConstructedLanguage "人工语言") | chinese_format.kif 844-844 | |
(termFormat EnglishLanguage ConstructedLanguage "constructed language") | english_format.kif 895-895 |
appearance as argument number 3 |
![]() |
(partition HumanLanguage NaturalLanguage ConstructedLanguage) | Merge.kif 1332-1332 | Human language is exhaustively partitioned into natural language and constructed language |
antecedent |
![]() |
(=> (instance ?LANG ConstructedLanguage) (exists (?PLAN) (and (instance ?PLAN Planning) (result ?PLAN ?LANG)))) |
Merge.kif 1355-1360 |
|
![]() |
![]() |