(subclass GeneralElection Election) | Government.kif 1706-1706 | GeneralElection est une sous-classe de Election |
(subclass PopularElection GeneralElection) | Government.kif 1712-1712 | PopularElection est une sous-classe de GeneralElection |
(subclass ElectoralCollegeElection GeneralElection) | Government.kif 1720-1720 | ElectoralCollegeElection est une sous-classe de GeneralElection |