(subclass GeneralElection Election) | Government.kif 1706-1706 | General election is a subclass of election |
(subclass PopularElection GeneralElection) | Government.kif 1712-1712 | Popular election is a subclass of general election |
(subclass ElectoralCollegeElection GeneralElection) | Government.kif 1720-1720 | Electoral college election is a subclass of general election |