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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - representsForAgent
representsForAgent

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


(documentation representsForAgent ChineseLanguage "这是一个十分概括的谓词, (representsForAgent ?ENTITY1 ?ENTITY2 ?AGENT) 的意思是 ?AGENT 选择用 ?ENTITY1 来 '代表' ?ENTITY2。") chinese_format.kif 2169-2171
(documentation representsForAgent EnglishLanguage "A very general predicate. (representsForAgent ?ENTITY1 ?ENTITY2 ?AGENT) means that the ?AGENT chooses to use ?ENTITY1 to 'stand for' ?ENTITY2.") Merge.kif 4468-4470
(documentation representsForAgent JapaneseLanguage "非常に一般的な述語。 (representsForAgent ?ENTITY1 ?ENTITY2 ?AGENT) とは、AGENT が ?ENTITY2 を「表す」ために、 ?ENTITY1 を使用することを選択することを意味する。") japanese_format.kif 829-831
(domain representsForAgent 1 Entity) Merge.kif 4464-4464 representsForAgent の数値 1 引数は エンティティーinstance では %n
(domain representsForAgent 2 Entity) Merge.kif 4465-4465 representsForAgent の数値 2 引数は エンティティーinstance では %n
(domain representsForAgent 3 AutonomousAgent) Merge.kif 4466-4466 representsForAgent の数値 3 引数は AutonomousAgentinstance では %n
(instance representsForAgent TernaryPredicate) Merge.kif 4463-4463 representsForAgent3進述語instance では %n

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


(format ChineseLanguage representsForAgent "%3 %n{doesn't} 用 %1 来代表 %2") chinese_format.kif 229-229
(format EnglishLanguage representsForAgent "%3 %n{doesn't} use%p{s} %1 to stand for %2") english_format.kif 230-230
(format FrenchLanguage representsForAgent "%3 %n{n'} utilise %n{pas} %1 pour repr�senter %2") french_format.kif 134-134
(format ItalianLanguage representsForAgent "%3 usa %1 al posto di %2") relations-it.txt 254-254
(format JapaneseLanguage representsForAgent "%3 は %2 を表すために %1 を use%p{s} %n{ない}") japanese_format.kif 1963-1963
(format PortugueseLanguage representsForAgent "%3 %n{nao} usa %n %1 para representar %2") portuguese_format.kif 86-86
(format de representsForAgent "%3 verwendet %1, um fuer %2 zu stehen") relations-de.txt 299-299
(format hi representsForAgent "%3 %1 ko %2 ke pratiika ke ruupa men upayoga karataa hai") relations-hindi.txt 291-291
(format ro representsForAgent "%3 %n{nu} use%t{foloseºte} %1 în locul lui %2") relations-ro.kif 153-153
(format sv representsForAgent "%3 använder %n{inte} %1 för att stå för %2") relations-sv.txt 139-139
(format tg representsForAgent "%3 ay gamitin %1 ilarawan ng %2") relations-tg.txt 446-446
(termFormat ChineseLanguage representsForAgent "主事的代表") chinese_format.kif 230-230
(termFormat ChineseLanguage representsForAgent "代表代理人") domainEnglishFormat.kif 49538-49538
(termFormat ChineseTraditionalLanguage representsForAgent "代表代理人") domainEnglishFormat.kif 49537-49537
(termFormat EnglishLanguage representsForAgent "represents for agent") domainEnglishFormat.kif 49536-49536
(termFormat de representsForAgent "stelltDarFuerAgent") terms-de.txt 96-96

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


(=>
    (representsForAgent ?REP ?ENTITY ?AGENT)
    (represents ?REP ?ENTITY))
Merge.kif 4472-4474

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


(=>
    (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
    (exists (?AGENT)
        (representsForAgent ?REP ?ENTITY ?AGENT)))
Merge.kif 4486-4489


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