| GeneralElection(general election) | | general_election |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1670-1672 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1668-1668 | General election is a subclass of election |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1682-1682 | Electoral college election is a subclass of general election |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1674-1674 | Popular election is a subclass of general election |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25673-25673 | Popular election is a subclass of general election |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25672-25672 | Popular election is a subclass of general election |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25671-25671 | Popular election is a subclass of general election |
|
|
|