| 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 4560-4564 | |
| (domain representativeAgentToAgent 1 Agent) | Government.kif 4556-4556 | |
| (domain representativeAgentToAgent 2 Agent) | Government.kif 4557-4557 | |
| (domain representativeAgentToAgent 3 Agent) | Government.kif 4558-4558 | |
| (instance representativeAgentToAgent TernaryPredicate) | Government.kif 4555-4555 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage representativeAgentToAgent "%１ %n 是 对于 ％３ 给代理 ％２ 的 representative 代理") | domainEnglishFormat.kif 2147-2147 | |
| (format ChineseTraditionalLanguage representativeAgentToAgent "%１ %n 是 對於 ％３ 給代理 ％２ 的 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 49508-49508 | |
| (termFormat ChineseTraditionalLanguage representativeAgentToAgent "代理人代理人") | domainEnglishFormat.kif 49507-49507 | |
| (termFormat EnglishLanguage representativeAgentToAgent "representative agent to agent") | domainEnglishFormat.kif 49506-49506 |
| 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 4584-4592 | |
| (=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP)) |
Government.kif 4577-4582 | |
| (=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP)) |
Government.kif 4570-4575 |
| consequent |
|
|
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3429-3436 | |
| (=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2)) |
Government.kif 4566-4568 |
|
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