PartyPlatform |
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 2320-2322 | |
(subclass PartyPlatform FactualText) | Government.kif 2319-2319 |
appearance as argument number 2 |
(termFormat ChineseLanguage PartyPlatform "党的平台") | domainEnglishFormat.kif 44610-44610 | |
(termFormat ChineseTraditionalLanguage PartyPlatform "黨的平台") | domainEnglishFormat.kif 44609-44609 | |
(termFormat EnglishLanguage PartyPlatform "party platform") | domainEnglishFormat.kif 44608-44608 |
antecedent |
(=> (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 |