representativeAgentToAgent |
appearance as argument number 1 |
(documentation representativeAgentToAgent EnglishLanguage "(&$representativeAgentToAgent ?SENDER ?REP ?RECEIVER) means that the AutonomousAgent ?SENDER has the AutonomousAgent ?REP as its representative to the AutonomousAgent ?RECEIVER. ?REP works for ?SENDER and is not assumed to be an impartial mediator.") | Government.kif 4597-4601 | |
(domain representativeAgentToAgent 1 AutonomousAgent) | Government.kif 4593-4593 | Le nombre 1 argument de representativeAgentToAgent est une instance de AutonomousAgent |
(domain representativeAgentToAgent 2 AutonomousAgent) | Government.kif 4594-4594 | Le nombre 2 argument de representativeAgentToAgent est une instance de AutonomousAgent |
(domain representativeAgentToAgent 3 AutonomousAgent) | Government.kif 4595-4595 | Le nombre 3 argument de representativeAgentToAgent est une instance de AutonomousAgent |
(instance representativeAgentToAgent TernaryPredicate) | Government.kif 4592-4592 | representativeAgentToAgent est une instance de pr�dicat ternaire |
appearance as argument number 2 |
(format ChineseLanguage representativeAgentToAgent "%1 %n 是 对于 %3 给代理 %2 的 representative 代理") | domainEnglishFormat.kif 2147-2147 | |
(format ChineseTraditionalLanguage representativeAgentToAgent "%1 %n 是 對於 %3 給代理 %2 的 representative 代理") | domainEnglishFormat.kif 2146-2146 | |
(format EnglishLanguage representativeAgentToAgent "%1 is %n representative agent to agent %2 for %3") | domainEnglishFormat.kif 2145-2145 | |
(termFormat ChineseLanguage representativeAgentToAgent "代理人代理人") | domainEnglishFormat.kif 49526-49526 | |
(termFormat ChineseTraditionalLanguage representativeAgentToAgent "代理人代理人") | domainEnglishFormat.kif 49525-49525 | |
(termFormat EnglishLanguage representativeAgentToAgent "representative agent to agent") | domainEnglishFormat.kif 49524-49524 |
antecedent |
consequent |
(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3466-3473 | |
(=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2)) |
Government.kif 4603-4605 |