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
(
domain
diplomaticRepresentativeInRole
2
Human
)
Government.kif 4457-4457
(
domain
diplomaticRepresentativeInRole
3
Position
)
Government.kif 4458-4458
(
domain
diplomaticRepresentativeInRole
4
AutonomousAgent
)
Government.kif 4459-4459
(
instance
diplomaticRepresentativeInRole
QuaternaryPredicate
)
Government.kif 4455-4455
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
(
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
(=>
(
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
(=>
(
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
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4531-4533
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4683-4685
(=>
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(
representativeAgentToAgent
?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4603-4605
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
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