| 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 4469-4471 | |
| (documentation representsForAgent JapaneseLanguage "非常に一般的な述語。 (representsForAgent ?ENTITY1 ?ENTITY2 ?AGENT) とは、AGENT が ?ENTITY2 を「表す」ために、 ?ENTITY1 を使用することを選択することを意味する。") | japanese_format.kif 829-831 | |
| (domain representsForAgent 1 Entity) | Merge.kif 4465-4465 | The number 1 argument of represents for agent is an instance of entity |
| (domain representsForAgent 2 Entity) | Merge.kif 4466-4466 | The number 2 argument of represents for agent is an instance of entity |
| (domain representsForAgent 3 AutonomousAgent) | Merge.kif 4467-4467 | The number 3 argument of represents for agent is an instance of agent |
| (instance representsForAgent TernaryPredicate) | Merge.kif 4464-4464 | represents for agent is an instance of ternary predicate |
| 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 49578-49578 | |
| (termFormat ChineseTraditionalLanguage representsForAgent "代表代理人") | domainEnglishFormat.kif 49577-49577 | |
| (termFormat EnglishLanguage representsForAgent "represents for agent") | domainEnglishFormat.kif 49576-49576 | |
| (termFormat de representsForAgent "stelltDarFuerAgent") | terms-de.txt 96-96 |
| antecedent |
|
|
| (=> (representsForAgent ?REP ?ENTITY ?AGENT) (represents ?REP ?ENTITY)) |
Merge.kif 4473-4475 |
|
| consequent |
|
|
| (=> (representsInLanguage ?REP ?ENTITY ?LANGUAGE) (exists (?AGENT) (representsForAgent ?REP ?ENTITY ?AGENT))) |
Merge.kif 4487-4490 |
|
|
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