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
diplomaticRepresentativeInRole
Sigma KEE - diplomaticRepresentativeInRole
diplomaticRepresentativeInRole
appearance as argument number 1
(
documentation
diplomaticRepresentativeInRole
EnglishLanguage
"(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?RANK ?AGENT2) means that the
AutonomousAgent
?AGENT1 sends the individual ?PERSON with the
Position
?RANK as its representative to the
AutonomousAgent
?AGENT2. Note: it is possible for ?PERSON to be diplomatically accredited to more than one area. For example, currently the United States Ambassador to Papua New Guinea is also accredited to Vanuatu, and there is no embassy in Vanuatu.")
Government.kif 4461-4468
(
domain
diplomaticRepresentativeInRole
1
AutonomousAgent
)
Government.kif 4456-4456
The number 1 argument of
diplomatic representative in role
is an
instance
of
agent
(
domain
diplomaticRepresentativeInRole
2
Human
)
Government.kif 4457-4457
The number 2 argument of
diplomatic representative in role
is an
instance
of
human
(
domain
diplomaticRepresentativeInRole
3
Position
)
Government.kif 4458-4458
The number 3 argument of
diplomatic representative in role
is an
instance
of
position
(
domain
diplomaticRepresentativeInRole
4
AutonomousAgent
)
Government.kif 4459-4459
The number 4 argument of
diplomatic representative in role
is an
instance
of
agent
(
instance
diplomaticRepresentativeInRole
QuaternaryPredicate
)
Government.kif 4455-4455
diplomatic representative in role
is an
instance
of
quaternary predicate
appearance as argument number 2
(
format
ChineseLanguage
diplomaticRepresentativeInRole
"%1 %p{是} %n{不是} 对于 %3 和 %4 的外交代表在角色 %2")
domainEnglishFormat.kif 752-752
(
format
ChineseTraditionalLanguage
diplomaticRepresentativeInRole
"%1 %p{是} %n{不是} 對於 %3 和 %4 的外交代表在角色 %2 ")
domainEnglishFormat.kif 751-751
(
format
EnglishLanguage
diplomaticRepresentativeInRole
"%1 %p{is} %n{isn't} diplomatic representative in role %2 for %3 with %4")
domainEnglishFormat.kif 750-750
(
subrelation
chiefOfDiplomaticMission
diplomaticRepresentativeInRole
)
Government.kif 4448-4448
chief of diplomatic mission
is a
subrelation
of
diplomatic representative in role
(
termFormat
ChineseLanguage
diplomaticRepresentativeInRole
"外交代表担任职务")
domainEnglishFormat.kif 19632-19632
(
termFormat
ChineseTraditionalLanguage
diplomaticRepresentativeInRole
"外交代表擔任職務")
domainEnglishFormat.kif 19631-19631
(
termFormat
EnglishLanguage
diplomaticRepresentativeInRole
"diplomatic representative in role")
domainEnglishFormat.kif 19630-19630
antecedent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
GeopoliticalArea
))
(
employs
(
GovernmentFn
?AGENT1) ?PERSON))
Government.kif 4486-4490
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
employ
s
the human
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4511-4519
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
and
an organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
and
the agent
is an
instance
of
geopolitical area
,
then
the agent
is an
agent
operates in area of
the organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4470-4478
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
,
then there exists
an organization
such that
the organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the agent
is an
instance
of
organization
and
the other agent
is an
instance
of
geopolitical area
,
then
the other agent
is an
agent
operates in area of
the agent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the agent
is an
instance
of
organization
,
then
the agent
employ
s
the human
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the agent
is an
instance
of
organization
,
then
the human
holds the
position
of
the position
in
an organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the other agent
is an
instance
of
geopolitical area
,
then
the other agent
is an
agent
operates in area of
the human
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4531-4533
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
,
then
the agent
diplomatic
representation type
the position
for
the other agent
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4683-4685
If
an agent
is
diplomatic
representative in role
a human
for
ambassador
with
another agent
,
then
the agent
is
diplomatic
organization type
embassy
for
the other agent
(=>
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(
representativeAgentToAgent
?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4603-4605
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
,
then
the agent
is
representative
agent to agent
the human
for
the other agent
consequent
(=>
(
and
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
subAttribute
?ROLE
DiplomaticAgent
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
citizen
?PERSON ?COUNTRY1)
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4582-4590
If
a nation
diplomatic
representation type
a position
for
an agent
and
the position
is a
subattribute
of
diplomatic agent
,
then there exists
a human
such that
the human
is an
instance
of
human
and
the human
is a
citizen
of
the nation
and
the nation
is
diplomatic
representative in role
the human
for
the position
with
the agent
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