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 4490-4493
(
domain
diplomaticRepresentationType
1
AutonomousAgent
)
Government.kif 4486-4486
Il numero 1 argomenti di
diplomaticRepresentationType
è un
istanza
di
AutonomousAgent
(
domain
diplomaticRepresentationType
2
Position
)
Government.kif 4487-4487
Il numero 2 argomenti di
diplomaticRepresentationType
è un
istanza
di
Posizione
(
domain
diplomaticRepresentationType
3
AutonomousAgent
)
Government.kif 4488-4488
Il numero 3 argomenti di
diplomaticRepresentationType
è un
istanza
di
AutonomousAgent
(
instance
diplomaticRepresentationType
TernaryPredicate
)
Government.kif 4485-4485
diplomaticRepresentationType
è un'
istanza
di
PredicatoTernario
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 4499-4504
diplomaticRepresentationType
AutonomousAgent
,
Posizione
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
diplomaticRepresentationType
AutonomousAgent
,
Posizione
and
AreaGeopolitica
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4639-4644
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
Governo
AreaGeopolitica
è un'
istanza
di
Citt�
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
Governo
(=>
(
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
diplomaticRepresentationType
Nazione
,
Posizione
and
AutonomousAgent
Posizione
è un
sottoattributo
di
DiplomaticAgent
Umano
Umano
è un'
istanza
di
Umano
Umano
è un
cittadino
di
Nazione
diplomaticRepresentativeInRole
Nazione
,
Umano
,
Posizione
and
AutonomousAgent
(=>
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4651-4653
diplomaticRepresentationType
AutonomousAgent
,
Ambassador
and
AutonomousAgent
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
AutonomousAgent
(=>
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2))
Government.kif 4517-4519
diplomaticRepresentationType
AreaGeopolitica
,
Posizione
and
AreaGeopolitica
diplomaticRelations
AreaGeopolitica
and
AreaGeopolitica
consequent
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4499-4504
diplomaticRepresentationType
AutonomousAgent
,
Posizione
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
diplomaticRepresentationType
AutonomousAgent
,
Posizione
and
AreaGeopolitica
(=>
(
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 4585-4593
AutonomousAgent
è un'
istanza
di
Nazione
AutonomousAgent
è un'
istanza
di
Nazione
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Posizione
Posizione
è un
sottoattributo
di
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posizione
and
AutonomousAgent
(=>
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2))
Government.kif 4608-4610
diplomaticOrganizationType
AutonomousAgent
,
ConsulateGeneral
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
ConsulGeneral
and
AutonomousAgent
(=>
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2))
Government.kif 4656-4658
diplomaticOrganizationType
AutonomousAgent
,
Embassy
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Ambassador
and
AutonomousAgent
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4521-4527
diplomaticRelations
AreaGeopolitica
and
AreaGeopolitica
Posizione
Posizione
è un'
istanza
di
ForeignServicePosition
Posizione
è un
sottoattributo
di
DiplomaticAgent
diplomaticRepresentationType
AreaGeopolitica
,
Posizione
and
AreaGeopolitica
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4529-4535
diplomaticRelations
AreaGeopolitica
and
AreaGeopolitica
Posizione
Posizione
è un'
istanza
di
ForeignServicePosition
Posizione
è un
sottoattributo
di
DiplomaticAgent
diplomaticRepresentationType
AreaGeopolitica
,
Posizione
and
AreaGeopolitica
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE1 ?ROLE2)
(
and
(
instance
?ROLE1
Position
)
(
instance
?ROLE2
Position
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE1 ?COUNTRY2)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4537-4544
diplomaticRelations
AreaGeopolitica
and
AreaGeopolitica
Posizione
Posizione
Posizione
è un'
istanza
di
Posizione
Posizione
è un'
istanza
di
Posizione
diplomaticRepresentationType
AreaGeopolitica
,
Posizione
and
AreaGeopolitica
diplomaticRepresentationType
AreaGeopolitica
,
Posizione
and
AreaGeopolitica
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4495-4497
diplomaticRepresentativeInRole
AutonomousAgent
,
Umano
,
Posizione
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posizione
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