| PoliticalPressureGroup | | political_pressure_group |
| appearance as argument number 1 |
|
|
| s__documentation(s__PoliticalPressureGroup,s__EnglishLanguage,'PoliticalPressureGroup is the class of Organizations that exert political pressure and have leaders who are involved in politics but not standing for election. For example, corporate lobbying groups, Mothers Against Drunk Driving (MADD), or the American Civil Liberties Union (ACLU).')
|
Government.kif 2294-2298 | |
| s__instance(s__PoliticalPressureGroup,s__SetOrClass)
|
Government.kif 2292-2292 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__PoliticalPressureGroup,'political pressure group')
|
domainEnglishFormat.kif 8176-8176 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2309-2316 | |
| ( ! [V__GROUP,V__AIM,V__ORG] : ((s__instance(V__GROUP,s__PoliticalPressureGroup) & s__organizationalObjective(V__GROUP,V__AIM) & s__instance(V__ORG,s__GovernmentOrganization) & s__organizationalObjective(V__ORG,V__AIM)) => s__inScopeOfInterest(V__GROUP,V__ORG)) )
|
Government.kif 2318-2324 | |
| ( ! [V__GROUP] : (s__instance(V__GROUP,s__PoliticalPressureGroup) => (? [V__REQ,V__ORG] : (s__instance(V__REQ,s__Requesting) & s__agent(V__REQ,V__GROUP) & s__instance(V__ORG,s__GovernmentOrganization) & s__patient(V__REQ,V__ORG)))) )
|
Government.kif 2300-2307 |
|
|
|