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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 expressedInLanguage の数値 1 引数は 言語表現instance では %n
(domain expressedInLanguage 2 Language) Merge.kif 4618-4618 expressedInLanguage の数値 2 引数は 言語instance では %n
(instance expressedInLanguage AsymmetricRelation) Merge.kif 4616-4616 expressedInLanguage非対称関係instance では %n
(instance expressedInLanguage BinaryPredicate) Merge.kif 4615-4615 expressedInLanguage2進述語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 4624-4627

consequent
-------------------------


(=>
    (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)
    (expressedInLanguage ?EXPRESS ?LANGUAGE))
Merge.kif 4629-4631


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



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