(=>
(instance ?GROUP PoliticalPressureGroup)
(exists (?REQ ?ORG)
(and
(instance ?REQ Requesting)
(agent ?REQ ?GROUP)
(instance ?ORG GovernmentOrganization)
(patient ?REQ ?ORG)))) |
Government.kif 2323-2330 |
If X is an instance of political pressure group, then there exist Y, Z such that Y is an instance of requesting, X is an agent of Y, Z is an instance of government organization, and Z is a patient of Y |
(=>
(and
(instance ?GROUP PoliticalPressureGroup)
(hasPurpose ?GROUP ?FORMULA)
(agentOperatesInArea ?GROUP ?AREA)
(instance ?AREA Nation))
(desires ?GROUP
(believes
(GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2332-2339 |
If X is an instance of political pressure group, X has the purpose Y, Z is an agent operates in area of X, and Z is an instance of nation, then X desires the government of Z believes Y |
(=>
(and
(instance ?GROUP PoliticalPressureGroup)
(organizationalObjective ?GROUP ?AIM)
(instance ?ORG GovernmentOrganization)
(organizationalObjective ?ORG ?AIM))
(inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2341-2347 |
If X is an instance of political pressure group, Y is an organizational objective of X, Z is an instance of government organization, and Y is an organizational objective of Z, then X is interested in Z |
stays