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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 4558-4562
(domain representativeAgentToAgent 1 AutonomousAgent) Government.kif 4554-4554 representativeAgentToAgent の数値 1 引数は AutonomousAgent の instance では
(domain representativeAgentToAgent 2 AutonomousAgent) Government.kif 4555-4555 representativeAgentToAgent の数値 2 引数は AutonomousAgent の instance では
(domain representativeAgentToAgent 3 AutonomousAgent) Government.kif 4556-4556 representativeAgentToAgent の数値 3 引数は AutonomousAgent の instance では
(instance representativeAgentToAgent TernaryPredicate) Government.kif 4553-4553 representativeAgentToAgent は 3進述語 の instance では

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


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

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 4582-4590
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4575-4580
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))		 Government.kif 4568-4573

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


(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3427-3434
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))		 Government.kif 4564-4566


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