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 4526-4529
(
domain
diplomaticRepresentationType
1
AutonomousAgent
)
Government.kif 4522-4522
The number 1 argument of
diplomatic representation type
is an
instance
of
agent
(
domain
diplomaticRepresentationType
2
Position
)
Government.kif 4523-4523
The number 2 argument of
diplomatic representation type
is an
instance
of
position
(
domain
diplomaticRepresentationType
3
AutonomousAgent
)
Government.kif 4524-4524
The number 3 argument of
diplomatic representation type
is an
instance
of
agent
(
instance
diplomaticRepresentationType
TernaryPredicate
)
Government.kif 4521-4521
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 4535-4540
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 4675-4680
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 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
(=>
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4687-4689
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 4553-4555
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 4535-4540
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 4621-4629
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 4644-4646
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 4692-4694
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 4557-4563
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 4565-4571
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 4573-4580
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 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
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