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