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
diplomaticOrganizationType
Sigma KEE - diplomaticOrganizationType
diplomaticOrganizationType
appearance as argument number 1
(
documentation
diplomaticOrganizationType
EnglishLanguage
"(
diplomaticOrganizationType
?AGENT1 ?ORG ?AGENT2) means that the
AutonomousAgent
?AGENT1 has a diplomatic organization of the type ?ORG in
AutonomousAgent
?AGENT2. For example, (
diplomaticOrganizationType
UnitedStates
Embassy
France
), or (
diplomaticOrganizationType
UnitedStates
ConsulateGeneral
Shanghai
China).")
Government.kif 4636-4642
(
domain
diplomaticOrganizationType
1
AutonomousAgent
)
Government.kif 4632-4632
The number 1 argument of
diplomatic organization type
is an
instance
of
agent
(
domain
diplomaticOrganizationType
3
AutonomousAgent
)
Government.kif 4634-4634
The number 3 argument of
diplomatic organization type
is an
instance
of
agent
(
domainSubclass
diplomaticOrganizationType
2
Organization
)
Government.kif 4633-4633
The number 2 argument of
diplomatic organization type
is a
subclass
of
organization
(
instance
diplomaticOrganizationType
TernaryPredicate
)
Government.kif 4631-4631
diplomatic organization type
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
diplomaticOrganizationType
"%1 %p{是} %n{不是} 对于 %3 的 diplomatic 类别")
domainEnglishFormat.kif 740-740
(
format
ChineseTraditionalLanguage
diplomaticOrganizationType
"%1 %p{是} %n{不是} 對於 %3 的 diplomatic 類別")
domainEnglishFormat.kif 739-739
(
format
EnglishLanguage
diplomaticOrganizationType
"%1 %p{is} %n{isn't} diplomatic organization type %2 for %3")
domainEnglishFormat.kif 738-738
(
termFormat
ChineseLanguage
diplomaticOrganizationType
"外交组织类型")
domainEnglishFormat.kif 19614-19614
(
termFormat
ChineseTraditionalLanguage
diplomaticOrganizationType
"外交組織類型")
domainEnglishFormat.kif 19613-19613
(
termFormat
EnglishLanguage
diplomaticOrganizationType
"diplomatic organization type")
domainEnglishFormat.kif 19612-19612
antecedent
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT3))
Government.kif 4668-4673
If
an agent
is
diplomatic
organization type
a kind of organization
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
is
diplomatic
organization type
a kind of organization
for
the other geopolitical area
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4648-4657
If
a geopolitical area
is
diplomatic
organization type
a kind of organization
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the agent
is an
instance
of
geopolitical area
,
then there exists
another organization
such that
the other organization
is an
instance
of
a kind of organization
and
the other organization
is
located
at
the agent
and
the other organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4658-4667
If
an organization
is
diplomatic
organization type
another kind of organization
for
an agent
and
the organization
is an
instance
of
organization
and
the agent
is an
instance
of
geopolitical area
,
then there exists
a third organization
such that
the third organization
is an
instance
of
another kind of organization
and
the third organization
is
located
at
the agent
and
the third organization
is a part of the organization
the organization
(=>
(
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
consequent
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT3))
Government.kif 4668-4673
If
an agent
is
diplomatic
organization type
a kind of organization
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
is
diplomatic
organization type
a kind of organization
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
(=>
(
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
(=>
(
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
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