Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  expressedInLanguage

 Sigma KEE - expressedInLanguage
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 4620-4622
(documentation expressedInLanguage JapaneseLanguage "(expressedInLanguage ?EXPRESS ?LANG) とは、 LinguisticExpression ?EXPRESS が Language ?LANG の一部であることを意味する。") japanese_format.kif 865-866
(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4617-4617 域 用語言表達, 1 and LinguisticExpression
(domain expressedInLanguage 2 Language) Merge.kif 4618-4618 域 用語言表達, 2 and Language
(instance expressedInLanguage AsymmetricRelation) Merge.kif 4616-4616 例 用語言表達 and AsymmetricRelation
(instance expressedInLanguage BinaryPredicate) Merge.kif 4615-4615 例 用語言表達 and BinaryPredicate

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 4624-4627

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners