TreeView Knowledge Base Browser - electionForPosition

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	electionForPosition の数値 1 引数は Election の instance では %n
(domain electionForPosition 2 SocialRole)	Government.kif 1747-1747	electionForPosition の数値 2 引数は社会的役割の instance では %n
(instance electionForPosition BinaryPredicate)	Government.kif 1745-1745	electionForPosition は 2進述語の instance では %n

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	chiefOfStateType 地政学的地域 and ポジション地政学的地域は Election の agent では %n Election は Election の instance では %n electionForPosition Election and ポジション Election は PopularElection の instance では %n governmentType 地政学的地域 and Democracy
(=> (and (instance ?GROUP Organization) (electionForPosition ?ELECTION (MemberFn ?GROUP))) (electionForOrganization ?ELECTION ?GROUP))	Government.kif 1831-1835	組織は組織の instance では %n electionForPosition Election and MemberFn 組織 electionForOrganization Election and 組織
(=> (electionForPosition ?ELECTION ?ROLE) (exists (?CANDIDATE) (and (instance ?CANDIDATE Human) (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))	Government.kif 1753-1758	electionForPosition Election and 社会的役割 AutonomousAgent AutonomousAgent は人［人間］の instance では %n candidateForPosition Election, 社会的役割 and AutonomousAgent

consequent

(=> (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (electionForPosition ?ELECTION ?POSITION))	Government.kif 1846-1848	candidateForPosition Election, 社会的役割 and AutonomousAgent electionForPosition Election and 社会的役割
(=> (electionForOrganization ?ELECTION ?GROUP) (electionForPosition ?ELECTION (MemberFn ?GROUP)))	Government.kif 1827-1829	electionForOrganization Election and 組織 electionForPosition Election and MemberFn 組織

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