(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2324-2329 | |
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2331-2338 |
|
(subclass PoliticalParty PoliticalOrganization) | Government.kif 2250-2250 | 子類 政治黨派 and PoliticalOrganization |
(subclass PoliticalCoalition PoliticalParty) | Government.kif 2244-2244 | 子類 政治聯盟 and 政治黨派 |
(subclass CommunistParty PoliticalParty) | Government.kif 2260-2260 | 子類 共產黨 and 政治黨派 |