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
governmentType
Sigma KEE - governmentType
governmentType
appearance as argument number 1
(
documentation
governmentType
EnglishLanguage
"(
governmentType
?BODY ?FORM) means that the
GeopoliticalArea
or
Organization
?BODY has a government with characteristic(s) of the type ?FORM.")
Government.kif 132-134
(
domain
governmentType
1
AutonomousAgent
)
Government.kif 128-128
政府类型
的 1 数量 是
施事体
的
instance
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
政府类型
的 2 数量 是
政体
的
instance
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
政府类型
是
二元谓语
的
instance
(
subrelation
governmentType
attribute
)
Government.kif 130-130
政府类型
是
属于
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
governmentType
"%2 %n 是 1% 的 government 类别")
domainEnglishFormat.kif 1113-1113
(
format
ChineseTraditionalLanguage
governmentType
"%2 %n 是 1% 的 government 類別")
domainEnglishFormat.kif 1112-1112
(
format
EnglishLanguage
governmentType
"%2 is %n a government type of %1")
domainEnglishFormat.kif 1111-1111
(
termFormat
ChineseLanguage
governmentType
"政府类型")
domainEnglishFormat.kif 26340-26340
(
termFormat
ChineseTraditionalLanguage
governmentType
"政府類型")
domainEnglishFormat.kif 26339-26339
(
termFormat
EnglishLanguage
governmentType
"government type")
domainEnglishFormat.kif 26338-26338
antecedent
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
(
GovernmentFn
?AGENT)
ReligiousOrganization
))
Government.kif 352-357
如果 %2 是 1% 的
government
类别 和
政体
是
神权政府
的
subAttribute
和
地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
Government
是
宗教机构
的
instance
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
如果 %2 是 1% 的
government
类别 和
政体
是
神权政府
的
subAttribute
和
施事体
是
机构
的
instance
,
然后
那个 施事体
是
宗教机构
的
instance
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
如果 %2 是 1% 的
government
类别 和
地缘政治区域
是
地缘政治区域
的
instance
和
政体
是
议会政府
的
subAttribute
,
然后 有存在
机构
这样
那个 机构
是
议会
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
如果 %2 是 1% 的
government
类别 和
施事体
是
地缘政治区域
的
instance
,
然后
君主
是
那个 施事体
的
leader
职位
(=>
(
and
(
governmentType
?PLACE
Monarchy
)
(
instance
?MONARCH
Human
)
(
instance
?SUCCESSOR
Human
)
(
holdsDuring
?T1
(
chiefOfState
?PLACE ?ROLE ?MONARCH))
(
familyRelation
?MONARCH ?SUCCESSOR)
(
earlier
?T1 ?T2))
(
modalAttribute
(
holdsDuring
?T2
(
chiefOfState
?PLACE ?ROLE ?SUCCESSOR))
Possibility
))
Government.kif 223-234
如果 %2 是 1% 的
government
类别 和
生物
是
人类
的
instance
和
另一个 生物
是
人类
的
instance
和
施事体
州
实体
的
chief
对于
那个 生物
在
时距
holdsDuring
和
那个 生物
和
那个 另外 生物
是 亲属 和
那个 时距
比
另一个 实体
earlier
,
然后
那个 施事体
州
那个 实体
的
chief
对于
那个 另外 生物
在
另一个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
如果
地缘政治区域
是
地缘政治区域
的
instance
和 %2 是 1% 的
government
类别,
然后
政体
是
那个 地缘政治区域
的
Government
的
attribute
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
如果
地缘政治区域
是
地缘政治区域
的
instance
和 %2 是 1% 的
government
类别,
然后
选民公民身份要求
是
那个 地缘政治区域
的
regional
法律 的
subProposition
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
如果
地缘政治区域
是
国家
的
instance
和 %2 是 1% 的
government
类别,
然后 有存在
命题
这样
那个 命题
是
选举法
的
instance
和
那个 命题
是
那个 地缘政治区域
的
regional
法律 的
subProposition
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
如果 %2 是 1% 的
government
类别,
然后
施事体
是
机构
的
instance
或
那个 施事体
是
地缘政治区域
的
instance
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
如果 %2 是 1% 的
government
类别,
然后
军事指挥官
是
施事体
的
leader
职位
consequent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
如果
政体
是
地缘政治区域
的
Government
的
attribute
和
那个 政体
是
政体
的
instance
,
然后 %2 是 1% 的
government
类别
(=>
(
and
(
chiefOfStateType
?AREA ?POSITION)
(
agent
?ELECTION ?AREA)
(
instance
?ELECTION
Election
)
(
electionForPosition
?ELECTION ?POSITION)
(
instance
?ELECTION
PopularElection
))
(
governmentType
?AREA
Democracy
))
Government.kif 1588-1595
如果
地位
地缘政治区域
的州类别的
chief
和
那个 地缘政治区域
是
选举
的
agent
和
那个 选举
是
选举
的
instance
和
那个 地位
是 职位
那个 选举
的
election
和
那个 选举
是
民众选举
的
instance
,
然后 %2 是 1% 的
government
类别
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
如果
群体
是
共产党
的
instance
和
有认知的主事
是
那个 群体
的
member
和
实体
是
地缘政治区域
的
instance
,
然后
那个 有认知的主事
desires
%2 是 1% 的
government
类别
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
如果
民主社会主义
是
施事体
的
attribute
,
然后 %2 是 1% 的
government
类别
(=>
(
attribute
?PERSON
Monarch
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeopoliticalArea
)
(
governmentType
?PLACE
Monarchy
)
(
chiefOfState
?PLACE
Monarch
?PERSON))))
Government.kif 1363-1369
如果
君主
是
人类
的
attribute
,
然后 有存在
地缘政治区域
这样
那个 地缘政治区域
是
地缘政治区域
的
instance
和 %2 是 1% 的
government
类别 和
那个 地缘政治区域
州
君主
的
chief
对于
那个 人类
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
如果
地缘政治区域
是
议会领土
的
instance
,
然后 %2 是 1% 的
government
类别
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