expressedInLanguage - Sigma Knowledge base Browser

appearance as argument number 1

(instance expressedInLanguage BinaryPredicate)	Merge.kif 4729-4729	expressed in language is an instance of binary predicate
(domain expressedInLanguage 1 LinguisticExpression)	Merge.kif 4730-4730	The number 1 argument of expressed in language is an instance of linguistic expression
(domain expressedInLanguage 2 Language)	Merge.kif 4731-4731	The number 2 argument of expressed in language is an instance of language
(documentation expressedInLanguage EnglishLanguage "(expressedInLanguage ?EXPRESS ?LANG) means that the LinguisticExpression ?EXPRESS is part of the Language ?LANG.")	Merge.kif 4733-4735	The number 2 argument of expressed in language is an instance of language

appearance as argument number 2

(termFormat EnglishLanguage expressedInLanguage "expressed in language")	domainEnglishFormat.kif 22936-22936
(termFormat ChineseTraditionalLanguage expressedInLanguage "用語言表達")	domainEnglishFormat.kif 22937-22937
(termFormat ChineseLanguage expressedInLanguage "用语言表达")	domainEnglishFormat.kif 22938-22938
(format EnglishLanguage expressedInLanguage "%1 is %n expressed in language %2")	english_format.kif 212-212

antecedent

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

If X is expressed in language Y, then there exists Z such that X represents Z in the language Y

consequent

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

If X represents Y in the language Z, then X is expressed in language Z