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
O argumento numero 1 de
governmentType
e' uma
instancia
de
AutonomousAgent
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
O argumento numero 2 de
governmentType
e' uma
instancia
de
FormOfGovernment
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
governmentType
e' uma
instancia
de
Predicado Binario
(
subrelation
governmentType
attribute
)
Government.kif 130-130
governmentType
e' uma
sub
-relacao 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
Area Geopolitica
and
FormOfGovernment
FormOfGovernment
e' um
sub
-atributo de
TheocraticGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
o
governo
de
Area Geopolitica
e' uma
instancia
de
Organizacao Religiosa
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
governmentType
AutonomousAgent
and
FormOfGovernment
FormOfGovernment
e' um
sub
-atributo de
TheocraticGovernment
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Organizacao Religiosa
(=>
(
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
Area Geopolitica
and
FormOfGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
FormOfGovernment
e' um
sub
-atributo de
ParliamentaryGovernment
Organizacao
Organizacao
e' uma
instancia
de
Parliament
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
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
e' uma
instancia
de
Humano
Organismo
e' uma
instancia
de
Humano
chiefOfState
AutonomousAgent
,
Entidade
and
Organismo
vale
durante
Intervalo Temporal
Organismo
e
Organismo
sao
parentes
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
o argumento
chiefOfState
AutonomousAgent
,
Entidade
and
Organismo
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
governmentType
Area Geopolitica
and
FormOfGovernment
FormOfGovernment
e' um
atributo
de o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
governmentType
Area Geopolitica
and
Democracy
VoterCitizenshipRequirement
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
Area Geopolitica
e' uma
instancia
de
Nacao
governmentType
Area Geopolitica
and
Democracy
Proposicao
Proposicao
e' uma
instancia
de
SuffrageLaw
Proposicao
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
governmentType
AutonomousAgent
and
FormOfGovernment
AutonomousAgent
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
(=>
(
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
e' um
atributo
de o
governo
de
Area Geopolitica
FormOfGovernment
e' uma
instancia
de
FormOfGovernment
governmentType
Area Geopolitica
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
Area Geopolitica
and
Posicao
Election
e' um
agente
de
Area Geopolitica
Election
e' uma
instancia
de
Election
electionForPosition
Election
and
Posicao
Election
e' uma
instancia
de
PopularElection
governmentType
Area Geopolitica
and
Democracy
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
Colecao
e' uma
instancia
de
CommunistParty
Agente Cognitivo
e'
membro
de
Colecao
Entidade
e' uma
instancia
de
Area Geopolitica
Agente Cognitivo
deseja
governmentType
Entidade
and
CommunistState
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
DemocraticSocialism
e' um
atributo
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
e' um
atributo
de
Humano
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
governmentType
Area Geopolitica
and
Monarchy
chiefOfState
Area Geopolitica
,
Monarch
and
Humano
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
Area Geopolitica
e' uma
instancia
de
ParliamentaryTerritory
governmentType
o
governo
de
Area Geopolitica
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