| appearance as argument number 1 |
|
| (documentation representativeAgentToAgent EnglishLanguage "(&$representativeAgentToAgent ?SENDER ?REP ?RECEIVER) means that the Agent ?SENDER has the Agent ?REP as its representative to the Agent ?RECEIVER. ?REP works for ?SENDER and is not assumed to be an impartial mediator.") | Government.kif 4528-4532 | |
| (domain representativeAgentToAgent 1 Agent) | Government.kif 4524-4524 | domain representativeAgentToAgent, 1 and Agent |
| (domain representativeAgentToAgent 2 Agent) | Government.kif 4525-4525 | domain representativeAgentToAgent, 2 and Agent |
| (domain representativeAgentToAgent 3 Agent) | Government.kif 4526-4526 | domain representativeAgentToAgent, 3 and Agent |
| (instance representativeAgentToAgent TernaryPredicate) | Government.kif 4523-4523 | instance representativeAgentToAgent and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage representativeAgentToAgent "%1 is %n representative agent to agent %2 for %3") | domainEnglishFormat.kif 2145-2145 | |
| (termFormat ChineseLanguage representativeAgentToAgent "代理人代理人") | domainEnglishFormat.kif 49465-49465 | termFormat ChineseLanguage, representativeAgentToAgent and "代理人代理人" |
| (termFormat ChineseTraditionalLanguage representativeAgentToAgent "代理人代理人") | domainEnglishFormat.kif 49464-49464 | termFormat ChineseTraditionalLanguage, representativeAgentToAgent and "代理人代理人" |
| (termFormat EnglishLanguage representativeAgentToAgent "representative agent to agent") | domainEnglishFormat.kif 49463-49463 | termFormat EnglishLanguage, representativeAgentToAgent and "representative agent to agent" |
| antecedent |
|
|
| (=> (and (instance ?SENDER Nation) (instance ?RECEIVER Nation) (instance ?PERSON Human) (attribute ?PERSON ?ROLE) (subAttribute ?ROLE DiplomaticAgent) (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER)) (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER)) |
Government.kif 4552-4560 | |
| (=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP)) |
Government.kif 4545-4550 | |
| (=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP)) |
Government.kif 4538-4543 |
| consequent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3397-3404 | |
| (=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2)) |
Government.kif 4534-4536 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners