(subclass PoliticalCoalition PoliticalOrganization) | Government.kif 2243-2243 | Political coalition is a subclass of political organization |
(subclass PoliticalCoalition PoliticalParty) | Government.kif 2244-2244 | Political coalition is a subclass of political party |