| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2265-2270 | |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsInformation ?INST ?PROP)) (believes ?PARTY ?PROP)) |
Government.kif 2272-2279 | |
| (subclass PoliticalParty PoliticalOrganization) | Government.kif 2204-2204 | |
| (subclass PoliticalCoalition PoliticalParty) | Government.kif 2198-2198 | |
| (subclass CommunistParty PoliticalParty) | Government.kif 2214-2214 |
|
|