| PartyPlatform(party platform) | | platform, political_platform, political_program, program |
| appearance as argument number 1 |
|
|
| (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 2284-2286 | |
| (subclass PartyPlatform FactualText) | Government.kif 2283-2283 | Party platform is a subclass of factual text |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PartyPlatform "党的平台") | domainEnglishFormat.kif 44648-44648 | |
| (termFormat ChineseTraditionalLanguage PartyPlatform "黨的平台") | domainEnglishFormat.kif 44647-44647 | |
| (termFormat EnglishLanguage PartyPlatform "party platform") | domainEnglishFormat.kif 44646-44646 |
| antecedent |
|
|
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2288-2293 |
|
| (=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2295-2302 |
|
|
|
|