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
Le nombre 1 argument de
diplomaticRepresentativeInRole
est une
instance
de
AutonomousAgent
(
domain
diplomaticRepresentativeInRole
2
Human
)
Government.kif 4457-4457
Le nombre 2 argument de
diplomaticRepresentativeInRole
est une
instance
de
humain
(
domain
diplomaticRepresentativeInRole
3
Position
)
Government.kif 4458-4458
Le nombre 3 argument de
diplomaticRepresentativeInRole
est une
instance
de
position
(
domain
diplomaticRepresentativeInRole
4
AutonomousAgent
)
Government.kif 4459-4459
Le nombre 4 argument de
diplomaticRepresentativeInRole
est une
instance
de
AutonomousAgent
(
instance
diplomaticRepresentativeInRole
QuaternaryPredicate
)
Government.kif 4455-4455
diplomaticRepresentativeInRole
est une
instance
de
pr�dicat quaternaire
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
chiefOfDiplomaticMission
est une
sous
-relation de
diplomaticRepresentativeInRole
(
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
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
secteur g�opolitique
le
gouvernment
de
secteur g�opolitique
emploie
humain
(=>
(
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
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
agentOperatesInArea
organisation
and
AutonomousAgent
(=>
(
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
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
agentOperatesInArea
AutonomousAgent
and
AutonomousAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
emploie
humain
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
humain
occupe la
position
de
position
organisation
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
AutonomousAgent
est une
instance
de
secteur g�opolitique
agentOperatesInArea
humain
and
AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4531-4533
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
position
and
AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4683-4685
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
Ambassador
and
AutonomousAgent
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(
representativeAgentToAgent
?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4603-4605
diplomaticRepresentativeInRole
AutonomousAgent
,
humain
,
position
and
AutonomousAgent
representativeAgentToAgent
AutonomousAgent
,
humain
and
AutonomousAgent
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
diplomaticRepresentationType
nation
,
position
and
AutonomousAgent
position
est un
sous
-attribut de
DiplomaticAgent
humain
humain
est une
instance
de
humain
humain
est un
citoyen
de
nation
diplomaticRepresentativeInRole
nation
,
humain
,
position
and
AutonomousAgent
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