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
diplomaticRepresentationType
Sigma KEE - diplomaticRepresentationType
diplomaticRepresentationType
appearance as argument number 1
(
documentation
diplomaticRepresentationType
EnglishLanguage
"(
diplomaticRepresentationType
?AGENT1 ?RANK ?AGENT2) means that the
AutonomousAgent
?AGENT1 sends a representative with the
Position
?RANK to the
AutonomousAgent
?AGENT2.")
Government.kif 4526-4529
(
domain
diplomaticRepresentationType
1
AutonomousAgent
)
Government.kif 4522-4522
Die Zahl 1 Argument von
diplomaticRepresentationType
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
diplomaticRepresentationType
2
Position
)
Government.kif 4523-4523
Die Zahl 2 Argument von
diplomaticRepresentationType
ist ein
fall
von
Position
%n{nicht}
(
domain
diplomaticRepresentationType
3
AutonomousAgent
)
Government.kif 4524-4524
Die Zahl 3 Argument von
diplomaticRepresentationType
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
diplomaticRepresentationType
TernaryPredicate
)
Government.kif 4521-4521
diplomaticRepresentationType
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
diplomaticRepresentationType
"")
domainEnglishFormat.kif 748-748
(
format
ChineseTraditionalLanguage
diplomaticRepresentationType
"% %n %1 %3 ")
domainEnglishFormat.kif 747-747
(
format
EnglishLanguage
diplomaticRepresentationType
"%1 %n{doesn't} diplomatic representation type %2 for %3")
domainEnglishFormat.kif 746-746
(
termFormat
ChineseLanguage
diplomaticRepresentationType
"外交代表类型")
domainEnglishFormat.kif 19626-19626
(
termFormat
ChineseTraditionalLanguage
diplomaticRepresentationType
"外交代表類型")
domainEnglishFormat.kif 19625-19625
(
termFormat
EnglishLanguage
diplomaticRepresentationType
"diplomatic representation type")
domainEnglishFormat.kif 19624-19624
antecedent
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
Wenn
diplomaticRepresentationType
AutonomousAgent
,
Position
and
GeopoliticalArea
und
geopoliticalSubdivision
** GeopoliticalArea
and
** GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** GeopoliticalArea
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
Wenn
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Government
und
GeopoliticalArea
ist ein
fall
von
City
%n{nicht} und
** Government
ist gleich
GovernmentFn
** GeopoliticalArea
%n{nicht},
dann
diplomaticOrganizationType
** AutonomousAgent
,
ConsulateGeneral
and
** Government
(=>
(
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
(=>
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4687-4689
Wenn
diplomaticRepresentationType
AutonomousAgent
,
Ambassador
and
** AutonomousAgent
,
dann
diplomaticOrganizationType
** AutonomousAgent
,
Embassy
and
** ** AutonomousAgent
(=>
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2))
Government.kif 4553-4555
Wenn
diplomaticRepresentationType
GeopoliticalArea
,
Position
and
** GeopoliticalArea
,
dann
diplomaticRelations
** GeopoliticalArea
and
** ** GeopoliticalArea
consequent
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
Wenn
diplomaticRepresentationType
AutonomousAgent
,
Position
and
GeopoliticalArea
und
geopoliticalSubdivision
** GeopoliticalArea
and
** GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** GeopoliticalArea
(=>
(
and
(
instance
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
Wenn
AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
attribut
von
** ** AutonomousAgent
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
representativeAgentToAgent
** AutonomousAgent
,
** ** AutonomousAgent
and
** ** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** AutonomousAgent
(=>
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2))
Government.kif 4644-4646
Wenn
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
ConsulGeneral
and
** ** AutonomousAgent
(=>
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2))
Government.kif 4692-4694
Wenn
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
** AutonomousAgent
,
dann
diplomaticRepresentationType
** AutonomousAgent
,
Ambassador
and
** ** AutonomousAgent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4557-4563
Wenn
diplomaticRelations
GeopoliticalArea
and
** GeopoliticalArea
,
dann es gibt
Position
um
** Position
ist ein
fall
von
ForeignServicePosition
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
diplomaticRepresentationType
** GeopoliticalArea
,
** Position
and
** ** GeopoliticalArea
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4565-4571
Wenn
diplomaticRelations
GeopoliticalArea
and
** GeopoliticalArea
,
dann es gibt
Position
um
** Position
ist ein
fall
von
ForeignServicePosition
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
diplomaticRepresentationType
** ** GeopoliticalArea
,
** Position
and
** GeopoliticalArea
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE1 ?ROLE2)
(
and
(
instance
?ROLE1
Position
)
(
instance
?ROLE2
Position
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE1 ?COUNTRY2)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4573-4580
Wenn
diplomaticRelations
GeopoliticalArea
and
** GeopoliticalArea
,
dann es gibt
Position
und
** Position
um
** Position
ist ein
fall
von
Position
%n{nicht} und
** ** Position
ist ein
fall
von
Position
%n{nicht} und
diplomaticRepresentationType
** GeopoliticalArea
,
** Position
and
** ** GeopoliticalArea
und
diplomaticRepresentationType
** ** GeopoliticalArea
,
** ** Position
and
** GeopoliticalArea
(=>
(
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
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