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	域代理人代理人, 1 and AutonomousAgent
(domain representativeAgentToAgent 2 AutonomousAgent)	Government.kif 4558-4558	域代理人代理人, 2 and AutonomousAgent
(domain representativeAgentToAgent 3 AutonomousAgent)	Government.kif 4559-4559	域代理人代理人, 3 and AutonomousAgent
(instance representativeAgentToAgent TernaryPredicate)	Government.kif 4556-4556	例代理人代理人 and TernaryPredicate

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	例 AutonomousAgent and Nation 例 AutonomousAgent and Nation 例 AutonomousAgent and Human attribute AutonomousAgent and Position 子屬性 Position and 外交代表 %１是對於％３給代理％２的 representative 代理 % AutonomousAgent %3
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP))	Government.kif 4578-4583	%１是對於％３給代理％２的 representative 代理例 GeopoliticalArea and Nation 例 CognitiveAgent and CognitiveAgent 採用政府 GeopoliticalArea and CognitiveAgent
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP))	Government.kif 4571-4576	%１是對於％３給代理％２的 representative 代理例 AutonomousAgent and Organization 例 CognitiveAgent and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent

consequent

(=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))	Government.kif 3430-3437	會員 AutonomousAgent and 國際法院 attribute AutonomousAgent and 法官 AutonomousAgent 例 AutonomousAgent and GeopoliticalArea %１是對於％３給代理％２的 representative 代理
(=> (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2) (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))	Government.kif 4567-4569	AutonomousAgent 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human %１是對於％３給代理％２的 representative 代理

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