| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2285-2290 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2292-2299 | |
| (subclass PoliticalParty PoliticalOrganization) | Government.kif 2211-2211 | |
| (subclass PoliticalCoalition PoliticalParty) | Government.kif 2205-2205 | |
| (subclass CommunistParty PoliticalParty) | Government.kif 2221-2221 |
|
|