| (subclass GeneralElection Election) | Government.kif 1706-1706 | GeneralElection は Election の subclass では %n |
| (subclass PopularElection GeneralElection) | Government.kif 1712-1712 | PopularElection は GeneralElection の subclass では %n |
| (subclass ElectoralCollegeElection GeneralElection) | Government.kif 1720-1720 | ElectoralCollegeElection は GeneralElection の subclass では %n |
|
|