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 4391-4394
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4387-4387 所表示的语言 的 1 数量 是 语言式表达instance
(domain representsInLanguage 2 Entity) Merge.kif 4388-4388 所表示的语言 的 2 数量 是 实体instance
(domain representsInLanguage 3 Language) Merge.kif 4389-4389 所表示的语言 的 3 数量 是 语言instance
(instance representsInLanguage TernaryPredicate) Merge.kif 4386-4386 所表示的语言三元谓语instance

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
(subrelation titleInLanguage representsInLanguage) Media.kif 3099-3099 titleInLanguage所表示的语言subrelation
(termFormat ChineseLanguage representsInLanguage "所表示的语言") chinese_format.kif 232-232
(termFormat ChineseLanguage representsInLanguage "用语言表示") domainEnglishFormat.kif 49527-49527
(termFormat ChineseTraditionalLanguage representsInLanguage "用語言表示") domainEnglishFormat.kif 49526-49526
(termFormat EnglishLanguage representsInLanguage "represents in language") domainEnglishFormat.kif 49525-49525

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


(=>
    (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)
    (expressedInLanguage ?EXPRESS ?LANGUAGE))
Merge.kif 4539-4541
(=>
    (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
    (exists (?AGENT)
        (representsForAgent ?REP ?ENTITY ?AGENT)))
Merge.kif 4396-4399

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 12504-12513
(=>
    (expressedInLanguage ?EXPRESS ?LANGUAGE)
    (exists (?PROP)
        (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))
Merge.kif 4534-4537
(=>
    (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 1450-1463


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