TreeView Knowledge Base Browser - agentOperatesInArea

antecedent

(=>
    (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

consequent

(=> (instance ?ORG InternationalOrganization) (exists (?COUNTRY1 ?COUNTRY2) (and (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation) (agentOperatesInArea ?ORG ?COUNTRY1) (agentOperatesInArea ?ORG ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2)))))	Government.kif 2508-2516	If X is an instance of international organization, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nation (3) Z is an instance of nation (4) Y is an agent operates in area of X (5) Z is an agent operates in area of X (6) equal Y (7) Z
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4490-4494	If X is diplomatic representative in role Y for Z with W and W is an instance of geopolitical area, then W is an agent operates in area of Y
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4496-4501	If X is diplomatic representative in role Y for Z with W, X is an instance of organization, and W is an instance of geopolitical area, then W is an agent operates in area of X
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2))	Government.kif 4503-4511	If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V

appearance as argument number 0

(agentOperatesInArea UnitedNationsObserverMissionInGeorgia RepublicOfGeorgia)

Government.kif 4110-4110

Republic of georgia is an agent operates in area of united nations observer mission in georgia

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: