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
Il numero 1 argomenti di
governmentType
è un
istanza
di
AutonomousAgent
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
Il numero 2 argomenti di
governmentType
è un
istanza
di
FormOfGovernment
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
governmentType
è un'
istanza
di
PredicatoBinario
(
subrelation
governmentType
attribute
)
Government.kif 130-130
governmentType
è una
sottorelazione
di
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
AreaGeopolitica
and
FormOfGovernment
FormOfGovernment
è un
sottoattributo
di
TheocraticGovernment
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
GovernmentFn
AreaGeopolitica
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
governmentType
AutonomousAgent
and
FormOfGovernment
FormOfGovernment
è un
sottoattributo
di
TheocraticGovernment
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
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
AreaGeopolitica
and
FormOfGovernment
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
FormOfGovernment
è un
sottoattributo
di
ParliamentaryGovernment
Organizzazione
Organizzazione
è un'
istanza
di
Parliament
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
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
Organismo
è un'
istanza
di
Umano
Organismo
è un'
istanza
di
Umano
chiefOfState
AutonomousAgent
,
Entit�
and
Organismo
vales
durante
IntervalloTemporale
Organismo
e
Organismo
sono
parenti
IntervalloTemporale
accades
prima
di
IntervalloTemporale
l'affermazione
chiefOfState
AutonomousAgent
,
Entit�
and
Organismo
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
governmentType
AreaGeopolitica
and
FormOfGovernment
attribute
GovernmentFn
AreaGeopolitica
and
FormOfGovernment
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 881-885
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
governmentType
AreaGeopolitica
and
Democracy
VoterCitizenshipRequirement
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 870-877
AreaGeopolitica
è un'
istanza
di
Nazione
governmentType
AreaGeopolitica
and
Democracy
Proposizione
Proposizione
è un'
istanza
di
SuffrageLaw
Proposizione
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
governmentType
AutonomousAgent
and
FormOfGovernment
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
(=>
(
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
attribute
GovernmentFn
AreaGeopolitica
and
FormOfGovernment
FormOfGovernment
è un'
istanza
di
FormOfGovernment
governmentType
AreaGeopolitica
and
FormOfGovernment
(=>
(
and
(
chiefOfStateType
?AREA ?POSITION)
(
agent
?ELECTION ?AREA)
(
instance
?ELECTION
Election
)
(
electionForPosition
?ELECTION ?POSITION)
(
instance
?ELECTION
PopularElection
))
(
governmentType
?AREA
Democracy
))
Government.kif 1552-1559
chiefOfStateType
AreaGeopolitica
and
Posizione
Election
è un
agente
di
AreaGeopolitica
Election
è un'
istanza
di
Election
electionForPosition
Election
and
Posizione
Election
è un'
istanza
di
PopularElection
governmentType
AreaGeopolitica
and
Democracy
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2227-2233
InsiemeConcreto
è un'
istanza
di
CommunistParty
AgenteCognitivo
è un
membro
di
InsiemeConcreto
Entit�
è un'
istanza
di
AreaGeopolitica
AgenteCognitivo
desidera
s
governmentType
Entit�
and
CommunistState
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
attribute
AutonomousAgent
and
DemocraticSocialism
governmentType
AutonomousAgent
and
Democracy
(=>
(
attribute
?PERSON
Monarch
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeopoliticalArea
)
(
governmentType
?PLACE
Monarchy
)
(
chiefOfState
?PLACE
Monarch
?PERSON))))
Government.kif 1327-1333
attribute
Umano
and
Monarch
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
governmentType
AreaGeopolitica
and
Monarchy
chiefOfState
AreaGeopolitica
,
Monarch
and
Umano
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 491-493
AreaGeopolitica
è un'
istanza
di
ParliamentaryTerritory
governmentType
GovernmentFn
AreaGeopolitica
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