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
The number 1 argument of
government type
is an
instance
of
agent
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
The number 2 argument of
government type
is an
instance
of
form of government
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
government type
is an
instance
of
binary predicate
(
subrelation
governmentType
attribute
)
Government.kif 130-130
government type
is a
subrelation
of
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
If
a form of government
is a
government
type of
a geopolitical area
and
the form of government
is a
subattribute
of
theocratic government
and
the geopolitical area
is an
instance
of
geopolitical area
,
then the
government
of
the geopolitical area
is an
instance
of
religious organization
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
If
a form of government
is a
government
type of
an agent
and
the form of government
is a
subattribute
of
theocratic government
and
the agent
is an
instance
of
organization
,
then
the agent
is an
instance
of
religious organization
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
If
a form of government
is a
government
type of
a geopolitical area
and
the geopolitical area
is an
instance
of
geopolitical area
and
the form of government
is a
subattribute
of
parliamentary government
,
then there exists
an organization
such that
the organization
is an
instance
of
parliament
and
the organization
is a part of the organization the
government
of
the geopolitical area
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
If
absolute monarchy
is a
government
type of
an agent
and
the agent
is an
instance
of
geopolitical area
,
then
monarch
is a
leader
position of
the agent
(=>
(
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
If
monarchy
is a
government
type of
an agent
and
an organism
is an
instance
of
human
and
another organism
is an
instance
of
human
and
the agent
chief
of state
an entity
for
the organism
holds
during
a time interval
and
the organism
and
the other organism
are
related
and
the time interval
happens
earlier
than
another time interval
,
then the statement
the agent
chief
of state
the entity
for
the other organism
holds
during
the other time interval
has the
modal
force
of
possibility
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
If
a geopolitical area
is an
instance
of
geopolitical area
and
a form of government
is a
government
type of
the geopolitical area
,
then
the form of government
is an
attribute
of the
government
of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
If
a geopolitical area
is an
instance
of
geopolitical area
and
democracy
is a
government
type of
the geopolitical area
,
then
voter citizenship requirement
is a
sub
-proposition of the
regional
law of
the geopolitical area
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
If
a geopolitical area
is an
instance
of
nation
and
democracy
is a
government
type of
the geopolitical area
,
then there exists
a proposition
such that
the proposition
is an
instance
of
suffrage law
and
the proposition
is a
sub
-proposition of the
regional
law of
the geopolitical area
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
If
a form of government
is a
government
type of
an agent
,
then
the agent
is an
instance
of
organization
or
the agent
is an
instance
of
geopolitical area
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
If
military dictatorship
is a
government
type of
an agent
,
then
military commander
is a
leader
position of
the agent
consequent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
If
a form of government
is an
attribute
of the
government
of
a geopolitical area
and
the form of government
is an
instance
of
form of government
,
then
the form of government
is a
government
type of
the geopolitical area
(=>
(
and
(
chiefOfStateType
?AREA ?POSITION)
(
agent
?ELECTION ?AREA)
(
instance
?ELECTION
Election
)
(
electionForPosition
?ELECTION ?POSITION)
(
instance
?ELECTION
PopularElection
))
(
governmentType
?AREA
Democracy
))
Government.kif 1588-1595
If
a position
is a
chief
of state type of
a geopolitical area
and
the geopolitical area
is an
agent
of
an election
and
the election
is an
instance
of
election
and
the position
is an
election
for position of
the election
and
the election
is an
instance
of
popular election
,
then
democracy
is a
government
type of
the geopolitical area
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
If
a collection
is an
instance
of
communist party
and
a cognitive agent
is a
member
of
the collection
and
an entity
is an
instance
of
geopolitical area
,
then
the cognitive agent
desire
s
communist state
is a
government
type of
the entity
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
If
democratic socialism
is an
attribute
of
an agent
,
then
democracy
is a
government
type of
the agent
(=>
(
attribute
?PERSON
Monarch
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeopoliticalArea
)
(
governmentType
?PLACE
Monarchy
)
(
chiefOfState
?PLACE
Monarch
?PERSON))))
Government.kif 1363-1369
If
monarch
is an
attribute
of
a human
,
then there exists
a geopolitical area
such that
the geopolitical area
is an
instance
of
geopolitical area
and
monarchy
is a
government
type of
the geopolitical area
and
the geopolitical area
chief
of state
monarch
for
the human
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
If
a geopolitical area
is an
instance
of
parliamentary territory
,
then
parliamentary government
is a
government
type of the
government
of
the geopolitical area
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