Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - representativeAgentToAgent
representativeAgentToAgent

appearance as argument number 1
-------------------------


(instance representativeAgentToAgent TernaryPredicate) Government.kif 4584-4584 representative agent to agent is an instance of ternary predicate
(domain representativeAgentToAgent 1 AutonomousAgent) Government.kif 4585-4585 The number 1 argument of representative agent to agent is an instance of agent
(domain representativeAgentToAgent 2 AutonomousAgent) Government.kif 4586-4586 The number 2 argument of representative agent to agent is an instance of agent
(domain representativeAgentToAgent 3 AutonomousAgent) Government.kif 4587-4587 The number 3 argument of representative agent to agent is an instance of agent
(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 4589-4593 The number 3 argument of representative agent to agent is an instance of agent

appearance as argument number 2
-------------------------


(format EnglishLanguage representativeAgentToAgent "%1 is %n representative agent to agent %2 for %3") domainEnglishFormat.kif 2149-2149
(format ChineseTraditionalLanguage representativeAgentToAgent "%１ %n 是 對於 ％３ 給代理 ％２ 的 representative 代理") domainEnglishFormat.kif 2150-2150
(format ChineseLanguage representativeAgentToAgent "%１ %n 是 对于 ％３ 给代理 ％２ 的 representative 代理") domainEnglishFormat.kif 2151-2151
(termFormat EnglishLanguage representativeAgentToAgent "representative agent to agent") domainEnglishFormat.kif 49521-49521
(termFormat ChineseTraditionalLanguage representativeAgentToAgent "代理人代理人") domainEnglishFormat.kif 49522-49522
(termFormat ChineseLanguage representativeAgentToAgent "代理人代理人") domainEnglishFormat.kif 49523-49523

antecedent
-------------------------


(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))		 Government.kif 4599-4604 If X is representative agent to agent Y for Z, X is an instance of organization, and Y is an instance of cognitive agent, then X employs Y
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4606-4611 If X is representative agent to agent Y for Z, X is an instance of nation, and Y is an instance of cognitive agent, then the government of X employs Y
(=>
    (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 4613-4621 If All of the following hold: (1) X is an instance of nation (2) Y is an instance of nation (3) Z is an instance of human (4) W is an attribute of Z (5) W is a subattribute of diplomatic agent (6) X is representative agent to agent Z for Y, then X diplomatic representation type W for Y

consequent
-------------------------


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3458-3465 If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))		 Government.kif 4595-4597 If X is diplomatic representative in role Y for Z with W, then X is representative agent to agent Y for W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners