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 4606-4608
(documentation expressedInLanguage JapaneseLanguage "(expressedInLanguage ?EXPRESS ?LANG) とは、 LinguisticExpression ?EXPRESS が Language ?LANG の一部であることを意味する。")	japanese_format.kif 865-866
(domain expressedInLanguage 1 LinguisticExpression)	Merge.kif 4603-4603	Le nombre 1 argument de expressedInLanguage est une instance de expression linguistique
(domain expressedInLanguage 2 Language)	Merge.kif 4604-4604	Le nombre 2 argument de expressedInLanguage est une instance de langage
(instance expressedInLanguage AsymmetricRelation)	Merge.kif 4602-4602	expressedInLanguage est une instance de relation asym�trique
(instance expressedInLanguage BinaryPredicate)	Merge.kif 4601-4601	expressedInLanguage est une instance de pr�dicat binaire

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 22945-22945
(termFormat ChineseTraditionalLanguage expressedInLanguage "用語言表達")	domainEnglishFormat.kif 22944-22944
(termFormat EnglishLanguage expressedInLanguage "expressed in language")	domainEnglishFormat.kif 22943-22943
(termFormat tg expressedInLanguage "nagsalita sa wika")	relations-tg.txt 221-221

antecedent

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

Merge.kif 4610-4613

Expression linguistique est exprim� dans le langage langage
entit� expression linguistique repr�sente entit� dans le langage langage

consequent

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

Merge.kif 4615-4617

Expression linguistique repr�sente entit� dans le langage langage
expression linguistique est exprim� dans le langage langage

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

KB Term:			Term intersection

English Word: