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
域
外交代表類型
, 1 and
AutonomousAgent
(
domain
diplomaticRepresentationType
2
Position
)
Government.kif 4523-4523
域
外交代表類型
, 2 and
Position
(
domain
diplomaticRepresentationType
3
AutonomousAgent
)
Government.kif 4524-4524
域
外交代表類型
, 3 and
AutonomousAgent
(
instance
diplomaticRepresentationType
TernaryPredicate
)
Government.kif 4521-4521
例
外交代表類型
and
TernaryPredicate
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
%
AutonomousAgent
%3
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
%
AutonomousAgent
%3
(=>
(
and
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2)
(
instance
?AREA2
City
)
(
equal
?AGENT2
(
GovernmentFn
?AREA2)))
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2))
Government.kif 4675-4680
%
AutonomousAgent
%3
例
GeopoliticalArea
and
City
等於
Government
and
政府
GeopoliticalArea
AutonomousAgent
是 對於 %3 的
diplomatic
類別
(=>
(
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
%
Nation
%3
子屬性
Position
and
外交代表
Human
例
Human
and
Human
公民
Human
and
Nation
Nation
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
(=>
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2)
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2))
Government.kif 4687-4689
%
AutonomousAgent
%3
AutonomousAgent
是 對於 %3 的
diplomatic
類別
(=>
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2))
Government.kif 4553-4555
%
GeopoliticalArea
%3
GeopoliticalArea
是
GeopoliticalArea
的外交關西
consequent
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
%
AutonomousAgent
%3
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
%
AutonomousAgent
%3
(=>
(
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
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
Position
子屬性
Position
and
外交代表
%1 是 對於 %3 給代理 %2 的
representative
代理
%
AutonomousAgent
%3
(=>
(
diplomaticOrganizationType
?AGENT1
ConsulateGeneral
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
ConsulGeneral
?AGENT2))
Government.kif 4644-4646
AutonomousAgent
是 對於 %3 的
diplomatic
類別
%
AutonomousAgent
%3
(=>
(
diplomaticOrganizationType
?AGENT1
Embassy
?AGENT2)
(
diplomaticRepresentationType
?AGENT1
Ambassador
?AGENT2))
Government.kif 4692-4694
AutonomousAgent
是 對於 %3 的
diplomatic
類別
%
AutonomousAgent
%3
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4557-4563
GeopoliticalArea
是
GeopoliticalArea
的外交關西
Position
例
Position
and
外國服務職位
子屬性
Position
and
外交代表
%
GeopoliticalArea
%3
(=>
(
diplomaticRelations
?COUNTRY1 ?COUNTRY2)
(
exists
(?ROLE)
(
and
(
instance
?ROLE
ForeignServicePosition
)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
diplomaticRepresentationType
?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4565-4571
GeopoliticalArea
是
GeopoliticalArea
的外交關西
Position
例
Position
and
外國服務職位
子屬性
Position
and
外交代表
%
GeopoliticalArea
%3
(=>
(
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
GeopoliticalArea
是
GeopoliticalArea
的外交關西
Position
Position
例
Position
and
Position
例
Position
and
Position
%
GeopoliticalArea
%3 %
GeopoliticalArea
%3
(=>
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2))
Government.kif 4531-4533
AutonomousAgent
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
%
AutonomousAgent
%3
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