| ConstructedLanguage(constructed language) | | ASL, American_sign_language, Antido, Arulo, Basic_English, Blaia_Zimondal, Esperantido, Esperanto, Europan, Idiom_Neutral, Ido, Interlingua, Latinesce, Latino, Latino_sine_flexione, Lingualumina, Lingvo_Kosmopolita, Monario, Nov-Esperanto, Nov-Latin, Novial, Occidental, Optez, Pasigraphy, Ro, Romanal, Solresol, Volapuk, artificial_language, sign_language, signing |
| 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 1462-1468 | |
| (documentation ConstructedLanguage JapaneseLanguage "ConstructedLanguage は 言語コミュ ニティ内で自然に進化しなかった HumanLanguage だが、むしろ一人以上の言語専門家によって、その中核 となる文法と語彙を発明した。多くの場合、自然に進化した言語よりも文法的に規則的な言語を目的として作 り上げた。 この Class には、国際コミュニケーションを促進するために作成された、エスペラントのよ うな言語が含まれている。") | japanese_format.kif 257-261 | |
| (documentation ConstructedLanguage SpanishLanguage "Un ConstructedLanguage (lengua construida) que no evolucionó espontáneamente en una comunidad de hablantes sino que la gramática y el vocabulario se inventaron por expertos de lenguaje con el fin de producir un idioma con la gramática más regular que un lenguaje natural. Esta clase incluye los lenguajes como el esperanto que se crea para facilitar comunicación internacional.") | spanish_format.kif 302-306 | |
| (subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1461-1461 | Constructed language is a subclass of artificial language |
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1460-1460 | 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 890-890 | |
| (termFormat FrenchLanguage ConstructedLanguage "langage construit") | french_format.kif 520-520 | |
| (termFormat Hindi ConstructedLanguage "nirmita bhaashaa") | terms-hindi.txt 51-51 | |
| (termFormat ItalianLanguage ConstructedLanguage "LinguaggioCostruito") | terms-it.txt 54-54 | |
| (termFormat JapaneseLanguage ConstructedLanguage "人工言語") | japanese_format.kif 2205-2205 | |
| (termFormat PortugueseLanguage ConstructedLanguage "Lingagem Construida") | portuguese_format.kif 472-472 | |
| (termFormat cb ConstructedLanguage "hinimong pinulongan") | terms-cb.txt 56-56 | |
| (termFormat cz ConstructedLanguage "constructed language") | terms-cz.txt 87-87 | |
| (termFormat ro ConstructedLanguage "limbã construitã artificial") | relations-ro.kif 541-541 | |
| (termFormat tg ConstructedLanguage "wikang nabuo") | terms-tg.txt 55-55 |
| appearance as argument number 3 |
|
|
| (partition HumanLanguage NaturalLanguage ConstructedLanguage) | Merge.kif 1447-1447 | 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 1470-1475 |
|
|
|
|