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 4425-4432
(
domain
diplomaticRepresentativeInRole
1
AutonomousAgent
)
Government.kif 4420-4420
外交代表担任职务
的 1 数量 是
施事体
的
instance
(
domain
diplomaticRepresentativeInRole
2
Human
)
Government.kif 4421-4421
外交代表担任职务
的 2 数量 是
人类
的
instance
(
domain
diplomaticRepresentativeInRole
3
Position
)
Government.kif 4422-4422
外交代表担任职务
的 3 数量 是
地位
的
instance
(
domain
diplomaticRepresentativeInRole
4
AutonomousAgent
)
Government.kif 4423-4423
外交代表担任职务
的 4 数量 是
施事体
的
instance
(
instance
diplomaticRepresentativeInRole
QuaternaryPredicate
)
Government.kif 4419-4419
外交代表担任职务
是
四元谓语
的
instance
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 4412-4412
外交使团团长
是
外交代表担任职务
的
subrelation
(
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 4450-4454
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
employs
那个 人类
(=>
(
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 4475-4483
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
和
机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 施事体
是
agent
运作在
那个 机构
地区
(=>
(
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 4434-4442
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
,
然后 有存在
机构
这样
那个 机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4468-4473
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 施事体
是
机构
的
instance
和
那个 另外 施事体
是
地缘政治区域
的
instance
,
然后
那个 另外 施事体
是
agent
运作在
那个 施事体
地区
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4456-4460
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 施事体
是
机构
的
instance
,
然后
那个 施事体
employs
那个 人类
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4444-4448
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 施事体
是
机构
的
instance
,
然后
那个 人类
在
机构
任职
那个 地位
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4462-4466
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 另外 施事体
是
地缘政治区域
的
instance
,
然后
那个 另外 施事体
是
agent
运作在
那个 人类
地区
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4495-4497
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4647-4649
如果
施事体
是 对于
大使
和
另一个 施事体
的外交代表在角色
人类
,
然后
那个 施事体
是 对于 %3 的
diplomatic
类别
(=>
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(
representativeAgentToAgent
?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4567-4569
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
,
然后 %1 是 对于 %3 给代理 %2 的
representative
代理
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 4546-4554
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