Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass ConstructedLanguage HumanLanguage) | Merge.kif 1549-1549 | Constructed language is a subclass of human language |
| (subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1550-1550 | Constructed language is a subclass of artificial language |
| (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 1551-1557 | Constructed language is a subclass of artificial language |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ConstructedLanguage "constructed language") | english_format.kif 894-894 |
| appearance as argument number 3 |
|
|
| (partition HumanLanguage NaturalLanguage ConstructedLanguage) | Merge.kif 1536-1536 | 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 1559-1564 | If X is an instance of constructed language, then there exists Y such that Y is an instance of planning and X is a result of Y |
|