Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConstructedLanguage
ConstructedLanguage

appearance as argument number 1
-------------------------


(documentation ConstructedLanguage ChineseLanguage " ConstructedLanguage 是一种没有机会 在语言社区自然的演变的 HumanLanguage ,反而它的核心语法和词汇是由一个或以上的语言专家所编造,一般的 目的是为了编制一个文法比其他任何自然演化语言更有规则的语言。这个 Class 包括像「世界语」的语言,它们的出 现是为了促进国际间的沟通。") Merge.kif 2347-2350
(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 2339-2345
(documentation ConstructedLanguage JapaneseLanguage "ConstructedLanguage は 言語コミュ ニティ内で自然に進化しなかった HumanLanguage だが、むしろ一人以上の言語専門家によって、その中核 となる文法と語彙を発明した。多くの場合、自然に進化した言語よりも文法的に規則的な言語を目的として作 り上げた。 この Class には、国際コミュニケーションを促進するために作成された、エスペラントのよ うな言語が含まれている。") Merge.kif 2352-2356
(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.") Merge.kif 2358-2362
(subclass ConstructedLanguage ArtificialLanguage) Merge.kif 2338-2338
(subclass ConstructedLanguage HumanLanguage) Merge.kif 2337-2337

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ConstructedLanguage "人工语言") chinese_format.kif 844-844
(termFormat EnglishLanguage ConstructedLanguage "constructed language") english_format.kif 1225-1225
(termFormat JapaneseLanguage ConstructedLanguage "人工言語") english_format.kif 1226-1226

appearance as argument number 3
-------------------------


(partition HumanLanguage NaturalLanguage ConstructedLanguage) Merge.kif 2315-2315

antecedent
-------------------------


(=>
    (instance ?LANG ConstructedLanguage)
    (exists (?PLAN)
        (and
            (instance ?PLAN Planning)
            (result ?PLAN ?LANG))))
Merge.kif 2365-2370


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners