Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Election
Election(election)
by-election, bye-election, closed_primary, cumulative_vote, direct_primary, elect, election, electoral, open_primary, primary, primary_election, reelection, runoff, turn_thumbs_down, vote, vote_down, write_in

VerbNet: appoint-29.1|elect,


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2943-2944
No TPTP formula. May not be expressible in strict first order. Merge.kif 9934-9936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5981-5981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6452-6452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6453-6453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6454-6454
No TPTP formula. May not be expressible in strict first order. Merge.kif 9932-9932 Election is a subclass of organizational process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1640-1640 The values returned by election are subclasses of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1660-1660 General election is a subclass of election
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21331-21331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21330-21330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21329-21329

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1683-1683 The number 1 argument of voting is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1792-1792 The number 1 argument of candidate for position is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1773-1773 The number 1 argument of election for organization is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1700-1700 The number 1 argument of election for position is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1826-1826 The number 1 argument of election winner is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1857-1857 The number 1 argument of seats won in election is an instance of election
No TPTP formula. May not be expressible in strict first order. Government.kif 1811-1811 The number 1 argument of vote fraction received is an instance of election

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1542-1549
No TPTP formula. May not be expressible in strict first order. Government.kif 1646-1652
No TPTP formula. May not be expressible in strict first order. Merge.kif 13051-13056
No TPTP formula. May not be expressible in strict first order. Merge.kif 13058-13064
No TPTP formula. May not be expressible in strict first order. Government.kif 1221-1227

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11220-11225


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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