| GeneralElection(general election) | | general_election, 全民选举, 全民選舉 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1662-1664 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1660-1660 | 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 1674-1674 | Electoral college election is a subclass of general election |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1666-1666 | Popular election is a subclass of general election |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25591-25591 | "全民选举" is the printable form of general election in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25590-25590 | "全民選舉" is the printable form of general election in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25589-25589 | "general election" is the printable form of general election in english language |
|
|
|