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

Formal Language: 



KB Term:  Term intersection
English Word: 

  representsForAgent

 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 Il numero 1 argomenti di representsForAgent è un istanza di Entit�
(domain representsForAgent 2 Entity) Merge.kif 4465-4465 Il numero 2 argomenti di representsForAgent è un istanza di Entit�
(domain representsForAgent 3 AutonomousAgent) Merge.kif 4466-4466 Il numero 3 argomenti di representsForAgent è un istanza di AutonomousAgent
(instance representsForAgent TernaryPredicate) Merge.kif 4463-4463 representsForAgent è un' istanza di PredicatoTernario

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

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