expressedInLanguage |
appearance as argument number 1 |
(documentation expressedInLanguage ChineseLanguage "(expressedInLanguage ?EXPRESS ?LANG) 的意思是 LinguisticExpression ?EXPRESS 是 Language ?LANG 的一部分。") | chinese_format.kif 2201-2202 | |
(documentation expressedInLanguage EnglishLanguage "(expressedInLanguage ?EXPRESS ?LANG) means that the LinguisticExpression ?EXPRESS is part of the Language ?LANG.") | Merge.kif 4621-4623 | |
(documentation expressedInLanguage JapaneseLanguage "(expressedInLanguage ?EXPRESS ?LANG) とは、 LinguisticExpression ?EXPRESS が Language ?LANG の一部であることを意味する。") | japanese_format.kif 865-866 | |
(domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4618-4618 | |
(domain expressedInLanguage 2 Language) | Merge.kif 4619-4619 | |
(instance expressedInLanguage AsymmetricRelation) | Merge.kif 4617-4617 | |
(instance expressedInLanguage BinaryPredicate) | Merge.kif 4616-4616 |
appearance as argument number 2 |
(format ChineseLanguage expressedInLanguage "%1 %n 是以 %2 语言表达") | chinese_format.kif 211-211 | |
(format EnglishLanguage expressedInLanguage "%1 is %n expressed in language %2") | english_format.kif 212-212 | |
(format FrenchLanguage expressedInLanguage "%1 est %n exprim� dans le langage %2") | french_format.kif 125-125 | |
(format ItalianLanguage expressedInLanguage "%1 è espresso nella lingua %2") | relations-it.txt 105-105 | |
(format JapaneseLanguage expressedInLanguage "%1 は %2 語で expressed され %n") | japanese_format.kif 1954-1954 | |
(format PortugueseLanguage expressedInLanguage "%1 e' %n exprimido na linguagem %2") | portuguese_format.kif 77-77 | |
(format de expressedInLanguage "%1 ist in Sprache %2 ausgedrueckt") | relations-de.txt 272-272 | |
(format hi expressedInLanguage "%1 %2 kii bhaashha men abhivyakta hotaa hai") | relations-hindi.txt 145-145 | |
(format ro expressedInLanguage "%1 %n{nu} este expressed%t{exprimat} în limba %2") | relations-ro.kif 144-144 | |
(format sv expressedInLanguage "%1 uttrycks %n{inte} i språlet %2") | relations-sv.txt 130-130 | |
(format tg expressedInLanguage "%1 ay nagsalita sa wika %2") | relations-tg.txt 220-220 | |
(termFormat ChineseLanguage expressedInLanguage "所表达的语言") | chinese_format.kif 212-212 | |
(termFormat ChineseLanguage expressedInLanguage "用语言表达") | domainEnglishFormat.kif 22962-22962 | |
(termFormat ChineseTraditionalLanguage expressedInLanguage "用語言表達") | domainEnglishFormat.kif 22961-22961 | |
(termFormat EnglishLanguage expressedInLanguage "expressed in language") | domainEnglishFormat.kif 22960-22960 | |
(termFormat de expressedInLanguage "inSpracheAusgedrueckt") | terms-de.txt 87-87 | |
(termFormat tg expressedInLanguage "nagsalita sa wika") | relations-tg.txt 221-221 |
antecedent |
(=> (expressedInLanguage ?EXPRESS ?LANGUAGE) (exists (?PROP) (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE))) |
Merge.kif 4625-4628 |
consequent |
(=> (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE) (expressedInLanguage ?EXPRESS ?LANGUAGE)) |
Merge.kif 4630-4632 |