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
Le nombre 1 argument de
governmentType
est une
instance
de
AutonomousAgent
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
Le nombre 2 argument de
governmentType
est une
instance
de
FormOfGovernment
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
governmentType
est une
instance
de
pr�dicat binaire
(
subrelation
governmentType
attribute
)
Government.kif 130-130
governmentType
est une
sous
-relation de
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
governmentType
secteur g�opolitique
and
FormOfGovernment
FormOfGovernment
est un
sous
-attribut de
TheocraticGovernment
secteur g�opolitique
est une
instance
de
secteur g�opolitique
le
gouvernment
de
secteur g�opolitique
est une
instance
de
organisation religieuse
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
governmentType
AutonomousAgent
and
FormOfGovernment
FormOfGovernment
est un
sous
-attribut de
TheocraticGovernment
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
organisation religieuse
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
governmentType
secteur g�opolitique
and
FormOfGovernment
secteur g�opolitique
est une
instance
de
secteur g�opolitique
FormOfGovernment
est un
sous
-attribut de
ParliamentaryGovernment
organisation
organisation
est une
instance
de
Parliament
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
est une
instance
de
secteur g�opolitique
leaderPosition
AutonomousAgent
and
Monarch
(=>
(
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
governmentType
AutonomousAgent
and
Monarchy
organisme
est une
instance
de
humain
organisme
est une
instance
de
humain
chiefOfState
AutonomousAgent
,
entit�
and
organisme
pendant
interval temporel
organisme
et
organisme
sont
parents
interval temporel
arrive
plus
t�t que
interval temporel
l'argument
chiefOfState
AutonomousAgent
,
entit�
and
organisme
pendant
interval temporel
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
governmentType
secteur g�opolitique
and
FormOfGovernment
FormOfGovernment
est un
attribut
de le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
governmentType
secteur g�opolitique
and
Democracy
VoterCitizenshipRequirement
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
Secteur g�opolitique
est une
instance
de
nation
governmentType
secteur g�opolitique
and
Democracy
proposition
proposition
est une
instance
de
SuffrageLaw
proposition
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
governmentType
AutonomousAgent
and
FormOfGovernment
AutonomousAgent
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
governmentType
AutonomousAgent
and
MilitaryDictatorship
leaderPosition
AutonomousAgent
and
MilitaryCommander
consequent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
FormOfGovernment
est un
attribut
de le
gouvernment
de
secteur g�opolitique
FormOfGovernment
est une
instance
de
FormOfGovernment
governmentType
secteur g�opolitique
and
FormOfGovernment
(=>
(
and
(
chiefOfStateType
?AREA ?POSITION)
(
agent
?ELECTION ?AREA)
(
instance
?ELECTION
Election
)
(
electionForPosition
?ELECTION ?POSITION)
(
instance
?ELECTION
PopularElection
))
(
governmentType
?AREA
Democracy
))
Government.kif 1588-1595
chiefOfStateType
secteur g�opolitique
and
position
Election
est un
agent
de
secteur g�opolitique
Election
est une
instance
de
Election
electionForPosition
Election
and
position
Election
est une
instance
de
PopularElection
governmentType
secteur g�opolitique
and
Democracy
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
Collection
est une
instance
de
CommunistParty
agent cognitif
est un
membre
de
collection
entit�
est une
instance
de
secteur g�opolitique
agent cognitif
desire
governmentType
entit�
and
CommunistState
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
DemocraticSocialism
est un
attribut
de
AutonomousAgent
governmentType
AutonomousAgent
and
Democracy
(=>
(
attribute
?PERSON
Monarch
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeopoliticalArea
)
(
governmentType
?PLACE
Monarchy
)
(
chiefOfState
?PLACE
Monarch
?PERSON))))
Government.kif 1363-1369
Monarch
est un
attribut
de
humain
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
governmentType
secteur g�opolitique
and
Monarchy
chiefOfState
secteur g�opolitique
,
Monarch
and
humain
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
Secteur g�opolitique
est une
instance
de
ParliamentaryTerritory
governmentType
le
gouvernment
de
secteur g�opolitique
and
ParliamentaryGovernment
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