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 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 49540-49540 | |
(termFormat ChineseTraditionalLanguage representsForAgent "代表代理人") | domainEnglishFormat.kif 49539-49539 | |
(termFormat EnglishLanguage representsForAgent "represents for agent") | domainEnglishFormat.kif 49538-49538 | |
(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 |
|
![]() |
![]() |