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 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 4589-4593
(domain representativeAgentToAgent 1 Agent) Government.kif 4585-4585 The number 1 argument of representative agent to agent is an instance of agent
(domain representativeAgentToAgent 2 Agent) Government.kif 4586-4586 The number 2 argument of representative agent to agent is an instance of agent
(domain representativeAgentToAgent 3 Agent) Government.kif 4587-4587 The number 3 argument of representative agent to agent is an instance of agent
(instance representativeAgentToAgent TernaryPredicate) Government.kif 4584-4584 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 49509-49509
(termFormat ChineseTraditionalLanguage representativeAgentToAgent "代理人代理人") domainEnglishFormat.kif 49508-49508
(termFormat EnglishLanguage representativeAgentToAgent "representative agent to agent") domainEnglishFormat.kif 49507-49507

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 4613-4621
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4606-4611
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))		 Government.kif 4599-4604

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3458-3465
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))		 Government.kif 4595-4597


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