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
electionForPosition
Sigma KEE - electionForPosition
electionForPosition
appearance as argument number 1
(
documentation
electionForPosition
EnglishLanguage
"(
electionForPosition
?ELECTION ?POSITION) means that in the
Election
?ELECTION, candidates run for election to the role(s) ?POSITION.")
Government.kif 1713-1715
(
domain
electionForPosition
1
Election
)
Government.kif 1710-1710
域
選舉職位
, 1 and
選舉
(
domain
electionForPosition
2
SocialRole
)
Government.kif 1711-1711
域
選舉職位
, 2 and
SocialRole
(
instance
electionForPosition
BinaryPredicate
)
Government.kif 1709-1709
例
選舉職位
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
electionForPosition
"%2 %n 是 职位 %1 的 election ")
domainEnglishFormat.kif 852-852
(
format
ChineseTraditionalLanguage
electionForPosition
"%2 %n 是 職位 %1 的 election ")
domainEnglishFormat.kif 851-851
(
format
EnglishLanguage
electionForPosition
"%2 is %n an election for position of %1")
domainEnglishFormat.kif 850-850
(
termFormat
ChineseLanguage
electionForPosition
"选举职位")
domainEnglishFormat.kif 21432-21432
(
termFormat
ChineseTraditionalLanguage
electionForPosition
"選舉職位")
domainEnglishFormat.kif 21431-21431
(
termFormat
EnglishLanguage
electionForPosition
"election for position")
domainEnglishFormat.kif 21430-21430
antecedent
(=>
(
and
(
chiefOfStateType
?AREA ?POSITION)
(
agent
?ELECTION ?AREA)
(
instance
?ELECTION
Election
)
(
electionForPosition
?ELECTION ?POSITION)
(
instance
?ELECTION
PopularElection
))
(
governmentType
?AREA
Democracy
))
Government.kif 1552-1559
Position
GeopoliticalArea
的州類別的
chief
agent
選舉
and
GeopoliticalArea
例
選舉
and
選舉
Position
是 職位
選舉
的
election
例
選舉
and
民眾選舉
%2 是 1% 的
government
類別
(=>
(
and
(
instance
?GROUP
Organization
)
(
electionForPosition
?ELECTION
(
MemberFn
?GROUP)))
(
electionForOrganization
?ELECTION ?GROUP))
Government.kif 1795-1799
例
Organization
and
Organization
Organization
的
member
是 職位
選舉
的
election
Organization
是組織
選舉
的
election
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1717-1722
SocialRole
是 職位
選舉
的
election
AutonomousAgent
例
AutonomousAgent
and
Human
選舉
對於職位
SocialRole
的
candidate
對於
AutonomousAgent
consequent
(=>
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
electionForPosition
?ELECTION ?POSITION))
Government.kif 1810-1812
選舉
對於職位
SocialRole
的
candidate
對於
AutonomousAgent
SocialRole
是 職位
選舉
的
election
(=>
(
electionForOrganization
?ELECTION ?GROUP)
(
electionForPosition
?ELECTION
(
MemberFn
?GROUP)))
Government.kif 1791-1793
Organization
是組織
選舉
的
election
Organization
的
member
是 職位
選舉
的
election
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