TreeView Knowledge Base Browser - representativeAgentToAgent

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

representativeAgentToAgent

Sigma KEE - representativeAgentToAgent

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 4561-4565
(domain representativeAgentToAgent 1 AutonomousAgent)	Government.kif 4557-4557	The number 1 argument of representative agent to agent is an instance of agent
(domain representativeAgentToAgent 2 AutonomousAgent)	Government.kif 4558-4558	The number 2 argument of representative agent to agent is an instance of agent
(domain representativeAgentToAgent 3 AutonomousAgent)	Government.kif 4559-4559	The number 3 argument of representative agent to agent is an instance of agent
(instance representativeAgentToAgent TernaryPredicate)	Government.kif 4556-4556	representative agent to agent is an instance of ternary predicate

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 49528-49528
(termFormat ChineseTraditionalLanguage representativeAgentToAgent "代理人代理人")	domainEnglishFormat.kif 49527-49527
(termFormat EnglishLanguage representativeAgentToAgent "representative agent to agent")	domainEnglishFormat.kif 49526-49526

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 4585-4593	If an agent is an instance of nation and another agent is an instance of nation and a third agent is an instance of human and a position is an attribute of the third agent and the position is a subattribute of diplomatic agent and the agent is representative agent to agent the third agent for the other agent, then the agent diplomatic representation type the position for the other agent
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP))	Government.kif 4578-4583	If a geopolitical area is representative agent to agent a cognitive agent for an agent and the geopolitical area is an instance of nation and the cognitive agent is an instance of cognitive agent, then the government of the geopolitical area employs the cognitive agent
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP))	Government.kif 4571-4576	If an agent is representative agent to agent a cognitive agent for another agent and the agent is an instance of organization and the cognitive agent is an instance of cognitive agent, then the agent employs the cognitive agent

consequent

(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))	Government.kif 3430-3437	If an agent is a member of international court of justice and judge is an attribute of the agent, then there exists another agent such that the other agent is an instance of geopolitical area and the other agent is representative agent to agent the agent for international court of justice
(=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))	Government.kif 4567-4569	If an agent is diplomatic representative in role a human for a position with another agent, then the agent is representative agent to agent the human for the other agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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