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 and
AutonomousAgent
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
域
政府類型
, 2 and
政體
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
例
政府類型
and
BinaryPredicate
(
subrelation
governmentType
attribute
)
Government.kif 130-130
子關係
政府類型
and
attribute
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
類別
子屬性
政體
and
神權政府
例
GeopoliticalArea
and
GeopoliticalArea
例
政府
GeopoliticalArea
and
ReligiousOrganization
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
%2 是 1% 的
government
類別
子屬性
政體
and
神權政府
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
ReligiousOrganization
(=>
(
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
類別
例
GeopoliticalArea
and
GeopoliticalArea
子屬性
政體
and
議會政府
Organization
例
Organization
and
議會
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
%2 是 1% 的
government
類別
例
AutonomousAgent
and
GeopoliticalArea
君主
是
AutonomousAgent
的
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
類別
例
Organism
and
Human
例
Organism
and
Human
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
家庭關係
Organism
and
Organism
早期
TimeInterval
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
AutonomousAgent
州
entity
的
chief
對於
Organism
and
可能性
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
attribute
政府
GeopoliticalArea
and
政體
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
次提案
選民公民身份要求
and
GeopoliticalArea
的
regional
法律
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
例
GeopoliticalArea
and
Nation
%2 是 1% 的
government
類別
Proposition
例
Proposition
and
選舉法
次提案
Proposition
and
GeopoliticalArea
的
regional
法律
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
%2 是 1% 的
government
類別
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
%2 是 1% 的
government
類別
軍事指揮官
是
AutonomousAgent
的
leader
職位
consequent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
attribute
政府
GeopoliticalArea
and
政體
例
政體
and
政體
%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
Position
GeopoliticalArea
的州類別的
chief
agent
選舉
and
GeopoliticalArea
例
選舉
and
選舉
Position
是 職位
選舉
的
election
例
選舉
and
民眾選舉
%2 是 1% 的
government
類別
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
例
Collection
and
共產黨
會員
CognitiveAgent
and
Collection
例
Entity
and
GeopoliticalArea
慾望
CognitiveAgent
and %2 是 1% 的
government
類別
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
attribute
AutonomousAgent
and
民主社會主義
%2 是 1% 的
government
類別
(=>
(
attribute
?PERSON
Monarch
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeopoliticalArea
)
(
governmentType
?PLACE
Monarchy
)
(
chiefOfState
?PLACE
Monarch
?PERSON))))
Government.kif 1363-1369
attribute
Human
and
君主
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
GeopoliticalArea
州
君主
的
chief
對於
Human
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
例
GeopoliticalArea
and
議會領土
%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