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
diplomaticRepresentationType
Sigma KEE - diplomaticRepresentationType
diplomaticRepresentationType
appearance as argument number 1
(
documentation
diplomaticRepresentationType
EnglishLanguage
"(
diplomaticRepresentationType
?AGENT1 ?RANK ?AGENT2) means that the
AutonomousAgent
?AGENT1 sends a representative with the
Position
?RANK to the
AutonomousAgent
?AGENT2.")
Government.kif 4490-4493
(
domain
diplomaticRepresentationType
1
AutonomousAgent
)
Government.kif 4486-4486
The number 1 argument of
diplomatic representation type
is an
instance
of
agent
(
domain
diplomaticRepresentationType
2
Position
)
Government.kif 4487-4487
The number 2 argument of
diplomatic representation type
is an
instance
of
position
(
domain
diplomaticRepresentationType
3
AutonomousAgent
)
Government.kif 4488-4488
The number 3 argument of
diplomatic representation type
is an
instance
of
agent
(
instance
diplomaticRepresentationType
TernaryPredicate
)
Government.kif 4485-4485
diplomatic representation type
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
diplomaticRepresentationType
"")
domainEnglishFormat.kif 748-748
(
format
ChineseTraditionalLanguage
diplomaticRepresentationType
"% %n %1 %3 ")
domainEnglishFormat.kif 747-747
(
format
EnglishLanguage
diplomaticRepresentationType
"%1 %n{doesn't} diplomatic representation type %2 for %3")
domainEnglishFormat.kif 746-746
(
termFormat
ChineseLanguage
diplomaticRepresentationType
"外交代表类型")
domainEnglishFormat.kif 19626-19626
(
termFormat
ChineseTraditionalLanguage
diplomaticRepresentationType
"外交代表類型")
domainEnglishFormat.kif 19625-19625
(
termFormat
EnglishLanguage
diplomaticRepresentationType
"diplomatic representation type")
domainEnglishFormat.kif 19624-19624
antecedent
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4499-4504
If
an agent
diplomatic
representation type
a position
for
a geopolitical area
and
the geopolitical area
is a
geopolitical
part of
another geopolitical area
and
the other geopolitical area
is an
instance
of
nation
,
then
the agent
diplomatic
representation type
the position
for
the other geopolitical area
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4639-4644
If
an agent
diplomatic
representation type
consul general
for
a government
and
a geopolitical area
is an
instance
of
city
and
the government
is
equal
to the
government
of
the geopolitical area
,
then
the agent
is
diplomatic
organization type
consulate general
for
the government
(=>
(
and
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
subAttribute
?ROLE
DiplomaticAgent
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
citizen
?PERSON ?COUNTRY1)
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4546-4554
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
(=>
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4651-4653
If
an agent
diplomatic
representation type
ambassador
for
another agent
,
then
the agent
is
diplomatic
organization type
embassy
for
the other agent
(=>
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2))
Government.kif 4517-4519
If
a geopolitical area
diplomatic
representation type
a position
for
another geopolitical area
,
then
the other geopolitical area
is a
diplomatic
relations of
the geopolitical area
consequent
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4499-4504
If
an agent
diplomatic
representation type
a position
for
a geopolitical area
and
the geopolitical area
is a
geopolitical
part of
another geopolitical area
and
the other geopolitical area
is an
instance
of
nation
,
then
the agent
diplomatic
representation type
the position
for
the other geopolitical area
(=>
(
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
If
an agent
is an
instance
of
nation
and
another agent
is an
instance
of
nation
and
a third agent
is an
instance
of
human
and
a position
is an
attribute
of
the third agent
and
the position
is a
subattribute
of
diplomatic agent
and
the agent
is
representative
agent to agent
the third agent
for
the other agent
,
then
the agent
diplomatic
representation type
the position
for
the other agent
(=>
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2))
Government.kif 4608-4610
If
an agent
is
diplomatic
organization type
consulate general
for
another agent
,
then
the agent
diplomatic
representation type
consul general
for
the other agent
(=>
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2))
Government.kif 4656-4658
If
an agent
is
diplomatic
organization type
embassy
for
another agent
,
then
the agent
diplomatic
representation type
ambassador
for
the other agent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4521-4527
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exists
a position
such that
the position
is an
instance
of
foreign service position
and
the position
is a
subattribute
of
diplomatic agent
and
the other geopolitical area
diplomatic
representation type
the position
for
the geopolitical area
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4529-4535
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exists
a position
such that
the position
is an
instance
of
foreign service position
and
the position
is a
subattribute
of
diplomatic agent
and
the geopolitical area
diplomatic
representation type
the position
for
the other geopolitical area
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE1 ?ROLE2)
(
and
(
instance
?ROLE1
Position
)
(
instance
?ROLE2
Position
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE1 ?COUNTRY2)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4537-4544
If
a geopolitical area
is a
diplomatic
relations of
another geopolitical area
,
then there exist
a position
and
another position
such that
the position
is an
instance
of
position
and
the other position
is an
instance
of
position
and
the other geopolitical area
diplomatic
representation type
the position
for
the geopolitical area
and
the geopolitical area
diplomatic
representation type
the other position
for
the other geopolitical area
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4495-4497
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
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