(subclass GeneralElection Election) | Government.kif 1706-1706 | GeneralElection è una sottoclasse di Election |
(subclass PopularElection GeneralElection) | Government.kif 1712-1712 | PopularElection è una sottoclasse di GeneralElection |
(subclass ElectoralCollegeElection GeneralElection) | Government.kif 1720-1720 | ElectoralCollegeElection è una sottoclasse di GeneralElection |