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 1749-1751
(
domain
electionForPosition
1
Election
)
Government.kif 1746-1746
Die Zahl 1 Argument von
electionForPosition
ist ein
fall
von
Election
%n{nicht}
(
domain
electionForPosition
2
SocialRole
)
Government.kif 1747-1747
Die Zahl 2 Argument von
electionForPosition
ist ein
fall
von
SocialRole
%n{nicht}
(
instance
electionForPosition
BinaryPredicate
)
Government.kif 1745-1745
electionForPosition
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 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
?GROUP
Organization
)
(
electionForPosition
?ELECTION
(
MemberFn
?GROUP)))
(
electionForOrganization
?ELECTION ?GROUP))
Government.kif 1831-1835
Wenn
Organization
ist ein
fall
von
Organization
%n{nicht} und
electionForPosition
Election
and
MemberFn
** Organization
,
dann
electionForOrganization
** Election
and
** Organization
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1753-1758
Wenn
electionForPosition
Election
and
SocialRole
,
dann es gibt
AutonomousAgent
um
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
candidateForPosition
** Election
,
** SocialRole
and
** AutonomousAgent
consequent
(=>
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
electionForPosition
?ELECTION ?POSITION))
Government.kif 1846-1848
Wenn
candidateForPosition
Election
,
SocialRole
and
AutonomousAgent
,
dann
electionForPosition
** Election
and
** SocialRole
(=>
(
electionForOrganization
?ELECTION ?GROUP)
(
electionForPosition
?ELECTION
(
MemberFn
?GROUP)))
Government.kif 1827-1829
Wenn
electionForOrganization
Election
and
Organization
,
dann
electionForPosition
** Election
and
MemberFn
** Organization
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