TreeView Knowledge Base Browser - 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	expressedInLanguage の数値 1 引数は言語表現の instance では %n
(domain expressedInLanguage 2 Language)	Merge.kif 4619-4619	expressedInLanguage の数値 2 引数は言語の instance では %n
(instance expressedInLanguage AsymmetricRelation)	Merge.kif 4617-4617	expressedInLanguage は非対称関係の instance では %n
(instance expressedInLanguage BinaryPredicate)	Merge.kif 4616-4616	expressedInLanguage は 2進述語の instance では %n

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 22942-22942
(termFormat ChineseTraditionalLanguage expressedInLanguage "用語言表達")	domainEnglishFormat.kif 22941-22941
(termFormat EnglishLanguage expressedInLanguage "expressed in language")	domainEnglishFormat.kif 22940-22940
(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

言語表現は言語語で expressed され %n
エンティティー言語表現は言語語でエンティティーを represents %n{ない}

consequent

(=>
(representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)
(expressedInLanguage ?EXPRESS ?LANGUAGE))

Merge.kif 4630-4632

言語表現は言語語でエンティティーを represents %n{ない}
言語表現は言語語で expressed され %n

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

KB Term:			Term intersection

English Word: