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
Die Zahl 1 Argument von
governmentType
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
Die Zahl 2 Argument von
governmentType
ist ein
fall
von
FormOfGovernment
%n{nicht}
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
governmentType
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
governmentType
attribute
)
Government.kif 130-130
governmentType
ist eine
teilrelation
von
attribut
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
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** FormOfGovernment
ist ein
teilattribut
von
TheocraticGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
Wenn
governmentType
AutonomousAgent
and
FormOfGovernment
und
** FormOfGovernment
ist ein
teilattribut
von
TheocraticGovernment
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
ReligiousOrganization
%n{nicht}
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
teilattribut
von
ParliamentaryGovernment
,
dann es gibt
Organization
um
** Organization
ist ein
fall
von
Parliament
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
Wenn
governmentType
AutonomousAgent
and
AbsoluteMonarchy
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
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
Wenn
governmentType
AutonomousAgent
and
Monarchy
und
Organism
ist ein
fall
von
Human
%n{nicht} und
** Organism
ist ein
fall
von
Human
%n{nicht} und
chiefOfState
** AutonomousAgent
,
entity
and
** Organism
haelt
waehrend
TimeInterval
%n{nicht} und
** Organism
und
** ** Organism
sind
verwandt
und
** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht},
dann die Aussage
chiefOfState
** AutonomousAgent
,
** entity
and
** ** Organism
haelt
waehrend
** ** TimeInterval
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
governmentType
** GeopoliticalArea
and
FormOfGovernment
,
dann
** FormOfGovernment
ist ein
attribut
von
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
governmentType
** GeopoliticalArea
and
Democracy
,
dann
VoterCitizenshipRequirement
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
governmentType
** GeopoliticalArea
and
Democracy
,
dann es gibt
Proposition
um
** Proposition
ist ein
fall
von
SuffrageLaw
%n{nicht} und
** Proposition
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
Wenn
governmentType
AutonomousAgent
and
FormOfGovernment
,
dann
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} oder
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(=>
(
governmentType
?PLACE
MilitaryDictatorship
)
(
leaderPosition
?PLACE
MilitaryCommander
))
Government.kif 332-334
Wenn
governmentType
AutonomousAgent
and
MilitaryDictatorship
,
dann
leaderPosition
** AutonomousAgent
and
MilitaryCommander
consequent
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
Wenn
FormOfGovernment
ist ein
attribut
von
GovernmentFn
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
fall
von
FormOfGovernment
%n{nicht},
dann
governmentType
** GeopoliticalArea
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
Wenn
chiefOfStateType
GeopoliticalArea
and
Position
und
Election
ist der
agent
von
** GeopoliticalArea
%n{nicht} und
** Election
ist ein
fall
von
Election
%n{nicht} und
electionForPosition
** Election
and
** Position
und
** Election
ist ein
fall
von
PopularElection
%n{nicht},
dann
governmentType
** GeopoliticalArea
and
Democracy
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
Wenn
Collection
ist ein
fall
von
CommunistParty
%n{nicht} und
CognitiveAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
Entity
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** CognitiveAgent
wuenscht
governmentType
** Entity
and
CommunistState
%n{nicht}
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
Wenn
DemocraticSocialism
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
governmentType
** AutonomousAgent
and
Democracy
(=>
(
attribute
?PERSON
Monarch
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeopoliticalArea
)
(
governmentType
?PLACE
Monarchy
)
(
chiefOfState
?PLACE
Monarch
?PERSON))))
Government.kif 1363-1369
Wenn
Monarch
ist ein
attribut
von
Human
%n{nicht},
dann es gibt
GeopoliticalArea
um
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
governmentType
** GeopoliticalArea
and
Monarchy
und
chiefOfState
** GeopoliticalArea
,
Monarch
and
** Human
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
Wenn
GeopoliticalArea
ist ein
fall
von
ParliamentaryTerritory
%n{nicht},
dann
governmentType
GovernmentFn
** GeopoliticalArea
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