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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - representsInLanguage
representsInLanguage

appearance as argument number 1
-------------------------


(documentation representsInLanguage ChineseLanguage "这是一个十分概括的谓词， (representsInLanguage ?THING ?ENTITY ?LANGUAGE)的意思是 LinguisticExpression ?THING 在 Language ?LANGUAGE 代表 ?ENTITY。") chinese_format.kif 2172-2174
(documentation representsInLanguage EnglishLanguage "A very general predicate. (representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the LinguisticExpression ?THING stands for ?ENTITY in the Language ?LANGUAGE.") Merge.kif 4509-4512
(documentation representsInLanguage JapaneseLanguage "非常に一般的な述語。 (representsInLanguage ?THING ?ENTITY ?LANGUAGE) とは、 Language ?LANGUAGE で LinguisticExpression ?THING とは　?ENTITY を表す。") japanese_format.kif 832-834
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4505-4505 Le nombre 1 argument de representsInLanguage est une instance de expression linguistique
(domain representsInLanguage 2 Entity) Merge.kif 4506-4506 Le nombre 2 argument de representsInLanguage est une instance de entit�
(domain representsInLanguage 3 Language) Merge.kif 4507-4507 Le nombre 3 argument de representsInLanguage est une instance de langage
(instance representsInLanguage TernaryPredicate) Merge.kif 4504-4504 representsInLanguage est une instance de pr�dicat ternaire

appearance as argument number 2
-------------------------


(format ChineseLanguage representsInLanguage "%1 %n{doesn't} 在 %3 语言 表示 %2") chinese_format.kif 231-231
(format EnglishLanguage representsInLanguage "%1 %n{doesn't} represent%p{s} %2 in the language %3") english_format.kif 232-232
(format FrenchLanguage representsInLanguage "%1 %n{ne} repr�sente %n{pas} %2 dans le langage %3") french_format.kif 135-135
(format ItalianLanguage representsInLanguage "%1 rappresenta %2 nella lingua %3") relations-it.txt 255-255
(format JapaneseLanguage representsInLanguage "%1 は %3 語で %2 を represent%p{s} %n{ない}") japanese_format.kif 1964-1964
(format PortugueseLanguage representsInLanguage "%1 %n{nao} representa %n %2 na linguagem %3") portuguese_format.kif 87-87
(format de representsInLanguage "%1 ist in Sprache %2 ausgedrueckt") relations-de.txt 302-302
(format hi representsInLanguage "%1 %2 ko %3 bhaashhaa men vyakta karataa hai") relations-hindi.txt 292-292
(format ro representsInLanguage "%1 %n{nu} represent%t{exprimã} %2 în limbã %3") relations-ro.kif 154-154
(format sv representsInLanguage "%1 representerar %n{inte} %2 i språket %3") relations-sv.txt 140-140
(format tg representsInLanguage "%1 ay nagtatanto %2 sa wika %3") relations-tg.txt 447-447
(subrelation titleInLanguage representsInLanguage) Media.kif 3095-3095 titleInLanguage est une sous-relation de representsInLanguage
(termFormat ChineseLanguage representsInLanguage "所表示的语言") chinese_format.kif 232-232 titleInLanguage est une sous-relation de representsInLanguage
(termFormat ChineseLanguage representsInLanguage "用语言表示") domainEnglishFormat.kif 49548-49548 titleInLanguage est une sous-relation de representsInLanguage
(termFormat ChineseTraditionalLanguage representsInLanguage "用語言表示") domainEnglishFormat.kif 49547-49547 titleInLanguage est une sous-relation de representsInLanguage
(termFormat EnglishLanguage representsInLanguage "represents in language") domainEnglishFormat.kif 49546-49546 titleInLanguage est une sous-relation de representsInLanguage
(termFormat de representsInLanguage "inSpracheDargestellt") terms-de.txt 97-97 titleInLanguage est une sous-relation de representsInLanguage

antecedent
-------------------------


(=>
    (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)
    (expressedInLanguage ?EXPRESS ?LANGUAGE))		 Merge.kif 4657-4659
(=>
    (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
    (exists (?AGENT)
        (representsForAgent ?REP ?ENTITY ?AGENT)))		 Merge.kif 4514-4517

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


(=>
    (and
        (instance ?TRANSLATE Translating)
        (patient ?TRANSLATE ?EXPRESSION1)
        (result ?TRANSLATE ?EXPRESSION2))
    (exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY)
        (and
            (representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1)
            (representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2)
            (not
                (equal ?LANGUAGE1 ?LANGUAGE2)))))		 Merge.kif 12890-12899
(=>
    (expressedInLanguage ?EXPRESS ?LANGUAGE)
    (exists (?PROP)
        (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))		 Merge.kif 4652-4655
(=>
    (originalExpressedInLanguage ?PROP ?LANG)
    (exists (?PHYS ?TIME)
        (and
            (instance ?PHYS LinguisticExpression)
            (representsInLanguage ?PHYS ?PROP ?LANG)
            (equal ?TIME
                (WhenFn ?PHYS))
            (not
                (exists (?BEFORE ?OTHER)
                    (and
                        (instance ?OTHER LinguisticExpression)
                        (represents ?OTHER ?PROP)
                        (equal ?BEFORE
                            (WhenFn ?OTHER))
                        (before ?BEFORE ?TIME)))))))		 Music.kif 1459-1472


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