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 O argumento numero 1 de representativeAgentToAgent e' uma instancia de AutonomousAgent
(domain representativeAgentToAgent 2 AutonomousAgent) Government.kif 4558-4558 O argumento numero 2 de representativeAgentToAgent e' uma instancia de AutonomousAgent
(domain representativeAgentToAgent 3 AutonomousAgent) Government.kif 4559-4559 O argumento numero 3 de representativeAgentToAgent e' uma instancia de AutonomousAgent
(instance representativeAgentToAgent TernaryPredicate) Government.kif 4556-4556 representativeAgentToAgent e' uma instancia de Predicado Ternario

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


(format ChineseLanguage representativeAgentToAgent "%1 %n 是 对于 %3 给代理 %2 的 representative 代理") domainEnglishFormat.kif 2147-2147
(format ChineseTraditionalLanguage representativeAgentToAgent "%1 %n 是 對於 %3 給代理 %2 的 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
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))
Government.kif 4578-4583
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))
Government.kif 4571-4576

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))
Government.kif 3430-3437
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4567-4569


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