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 |
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 10464-10466 | |
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 10462-10462 | 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 1683-1683 | The values returned by election are subclasses of election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1703-1703 | General election is a subclass of election |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21399-21399 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21398-21398 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21397-21397 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1726-1726 | The number 1 argument of voting is an instance of election |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1835-1835 | 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 1816-1816 | 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 1743-1743 | 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 1869-1869 | 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 1900-1900 | 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 1854-1854 | 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 1585-1592 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1689-1695 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13825-13830 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13832-13838 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1264-1270 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11863-11868 |
|
![]() |
![]() |