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
governmentType
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
governmentType
2
FormOfGovernment
)
Government.kif 129-129
governmentType
の数値 2 引数は
FormOfGovernment
の
instance
では %n
(
instance
governmentType
BinaryPredicate
)
Government.kif 127-127
governmentType
は
2進述語
の
instance
では %n
(
subrelation
governmentType
attribute
)
Government.kif 130-130
governmentType
は
attribute
の
subrelation
では %n
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
地政学的地域
and
FormOfGovernment
FormOfGovernment
は
TheocraticGovernment
の
subattribute
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
の
government
は
宗教団体
の
instance
では %n
(=>
(
and
(
governmentType
?AGENT ?TYPE)
(
subAttribute
?TYPE
TheocraticGovernment
)
(
instance
?AGENT
Organization
))
(
instance
?AGENT
ReligiousOrganization
))
Government.kif 345-350
governmentType
AutonomousAgent
and
FormOfGovernment
FormOfGovernment
は
TheocraticGovernment
の
subattribute
では %n
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
宗教団体
の
instance
では %n
(=>
(
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
地政学的地域
and
FormOfGovernment
地政学的地域
は
地政学的地域
の
instance
では %n
FormOfGovernment
は
ParliamentaryGovernment
の
subattribute
では %n
組織
組織
は
Parliament
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
governmentType
?PLACE
AbsoluteMonarchy
)
(
instance
?PLACE
GeopoliticalArea
))
(
leaderPosition
?PLACE
Monarch
))
Government.kif 242-246
governmentType
AutonomousAgent
and
AbsoluteMonarchy
AutonomousAgent
は
地政学的地域
の
instance
では %n
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
物
は
人[人間]
の
instance
では %n
物
は
人[人間]
の
instance
では %n
chiefOfState
AutonomousAgent
,
エンティティー
and
物
は
時間間隔
の
during
holds %n{ない}
物
と
物
は
related
して %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ステートメント
chiefOfState
AutonomousAgent
,
エンティティー
and
物
は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
governmentType
?AREA ?TYPE))
(
attribute
(
GovernmentFn
?AREA) ?TYPE))
Government.kif 142-146
地政学的地域
は
地政学的地域
の
instance
では %n
governmentType
地政学的地域
and
FormOfGovernment
FormOfGovernment
は
地政学的地域
の
government
の
attribute
では %n
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
地政学的地域
は
地政学的地域
の
instance
では %n
governmentType
地政学的地域
and
Democracy
VoterCitizenshipRequirement
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
地政学的地域
は
国民
の
instance
では %n
governmentType
地政学的地域
and
Democracy
命題
命題
は
SuffrageLaw
の
instance
では %n
命題
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
governmentType
?AGENT ?TYPE)
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 136-140
governmentType
AutonomousAgent
and
FormOfGovernment
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
(=>
(
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
は
地政学的地域
の
government
の
attribute
では %n
FormOfGovernment
は
FormOfGovernment
の
instance
では %n
governmentType
地政学的地域
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
地政学的地域
and
ポジション
地政学的地域
は
Election
の
agent
では %n
Election
は
Election
の
instance
では %n
electionForPosition
Election
and
ポジション
Election
は
PopularElection
の
instance
では %n
governmentType
地政学的地域
and
Democracy
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
コレクション
は
CommunistParty
の
instance
では %n
認識エージェント
は
コレクション
の
member
では %n
エンティティー
は
地政学的地域
の
instance
では %n
認識エージェント
が
governmentType
エンティティー
and
CommunistState
を
desire
s %n{ない}
(=>
(
attribute
?AREA
DemocraticSocialism
)
(
governmentType
?AREA
Democracy
))
Economy.kif 824-826
DemocraticSocialism
は
AutonomousAgent
の
attribute
では %n
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
は
人[人間]
の
attribute
では %n
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
governmentType
地政学的地域
and
Monarchy
chiefOfState
地政学的地域
,
Monarch
and
人[人間]
(=>
(
instance
?AREA
ParliamentaryTerritory
)
(
governmentType
(
GovernmentFn
?AREA)
ParliamentaryGovernment
))
Government.kif 527-529
地政学的地域
は
ParliamentaryTerritory
の
instance
では %n
governmentType
地政学的地域
の
government
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