Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 4597-4601
(
domain
representativeAgentToAgent
1
AutonomousAgent
)
Government.kif 4593-4593
Die Zahl 1 Argument von
representativeAgentToAgent
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
representativeAgentToAgent
2
AutonomousAgent
)
Government.kif 4594-4594
Die Zahl 2 Argument von
representativeAgentToAgent
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
representativeAgentToAgent
3
AutonomousAgent
)
Government.kif 4595-4595
Die Zahl 3 Argument von
representativeAgentToAgent
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
representativeAgentToAgent
TernaryPredicate
)
Government.kif 4592-4592
representativeAgentToAgent
ist ein
fall
von
TernaryPredicate
%n{nicht}
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 49526-49526
(
termFormat
ChineseTraditionalLanguage
representativeAgentToAgent
"代理人代理人")
domainEnglishFormat.kif 49525-49525
(
termFormat
EnglishLanguage
representativeAgentToAgent
"representative agent to agent")
domainEnglishFormat.kif 49524-49524
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 4621-4629
Wenn
AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
attribut
von
** ** AutonomousAgent
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
representativeAgentToAgent
** AutonomousAgent
,
** ** AutonomousAgent
and
** ** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** AutonomousAgent
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
Wenn
representativeAgentToAgent
GeopoliticalArea
,
CognitiveAgent
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
beschaeftigt
** CognitiveAgent
%n{nicht}
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Organization
)
(
instance
?REP
CognitiveAgent
))
(
employs
?SENDER ?REP))
Government.kif 4607-4612
Wenn
representativeAgentToAgent
AutonomousAgent
,
CognitiveAgent
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht}
consequent
(=>
(
and
(
member
?AGENT
InternationalCourtOfJustice
)
(
attribute
?AGENT
JudgeAtLaw
))
(
exists
(?POLITY)
(
and
(
instance
?POLITY
GeopoliticalArea
)
(
representativeAgentToAgent
?POLITY ?AGENT
InternationalCourtOfJustice
))))
Government.kif 3466-3473
Wenn
AutonomousAgent
ist ein
Mitglied
von
InternationalCourtOfJustice
%n{nicht} und
JudgeAtLaw
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann es gibt
** AutonomousAgent
um
** ** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
representativeAgentToAgent
** ** AutonomousAgent
,
** AutonomousAgent
and
InternationalCourtOfJustice
(=>
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(
representativeAgentToAgent
?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4603-4605
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
,
dann
representativeAgentToAgent
** AutonomousAgent
,
** Human
and
** ** AutonomousAgent
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