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
Die Zahl 1 Argument von
diplomaticRepresentativeInRole
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
diplomaticRepresentativeInRole
2
Human
)
Government.kif 4457-4457
Die Zahl 2 Argument von
diplomaticRepresentativeInRole
ist ein
fall
von
Human
%n{nicht}
(
domain
diplomaticRepresentativeInRole
3
Position
)
Government.kif 4458-4458
Die Zahl 3 Argument von
diplomaticRepresentativeInRole
ist ein
fall
von
Position
%n{nicht}
(
domain
diplomaticRepresentativeInRole
4
AutonomousAgent
)
Government.kif 4459-4459
Die Zahl 4 Argument von
diplomaticRepresentativeInRole
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
diplomaticRepresentativeInRole
QuaternaryPredicate
)
Government.kif 4455-4455
diplomaticRepresentativeInRole
ist ein
fall
von
QuaternaryPredicate
%n{nicht}
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
ist eine
teilrelation
von
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
beschaeftigt
** Human
%n{nicht}
(=>
(
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Organization
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann es gibt
Organization
um
** Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
** ** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** AutonomousAgent
and
** ** AutonomousAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
employs
?AGENT1 ?PERSON))
Government.kif 4492-4496
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
beschaeftigt
** Human
%n{nicht}
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 4480-4484
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** Human
besetzt die
position
von
** Position
in
Organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** ** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Human
and
** ** AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4531-4533
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4683-4685
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Ambassador
and
** AutonomousAgent
,
dann
diplomaticOrganizationType
** AutonomousAgent
,
Embassy
and
** ** AutonomousAgent
(=>
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(
representativeAgentToAgent
?COUNTRY1 ?PERSON ?COUNTRY2))
Government.kif 4603-4605
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
,
dann
representativeAgentToAgent
** AutonomousAgent
,
** Human
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
Wenn
diplomaticRepresentationType
Nation
,
Position
and
AutonomousAgent
und
** Position
ist ein
teilattribut
von
DiplomaticAgent
,
dann es gibt
Human
um
** Human
ist ein
fall
von
Human
%n{nicht} und
** Human
ist der
buerger
von
** Nation
und
diplomaticRepresentativeInRole
** Nation
,
** Human
,
** 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