|
|
   PartyPlatform
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PartyPlatform FactualText) | Government.kif 2280-2280 | Party platform is a subclass of factual text |
| (documentation PartyPlatform EnglishLanguage "A Text which is authored by a PoliticalParty and which contains the core goals and principles of the PoliticalParty for a particular year or election cycle.") | Government.kif 2281-2283 | Party platform is a subclass of factual text |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2285-2290 | If X is a subclass of party platform, Y is the author of X, and Y is an instance of organization, then Y is an instance of political party |
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2292-2299 | If X is a subclass of party platform, Y is the author of X, Y is an instance of political party, Z is an instance of X, and Z contains the formula W, then Y believes W |
|
|
|