TreeView Knowledge Base Browser - agentOperatesInArea

appearance as argument number 1

(documentation agentOperatesInArea EnglishLanguage "(agentOperatesInArea ?AGENT ?AREA) means that the individual or Organization ?AGENT operates in the GeographicArea ?AREA.")	Government.kif 2203-2205
(domain agentOperatesInArea 1 AutonomousAgent)	Government.kif 2199-2199	The number 1 argument of agent operates in area is an instance of agent
(domain agentOperatesInArea 2 GeographicArea)	Government.kif 2200-2200	The number 2 argument of agent operates in area is an instance of geographic area
(instance agentOperatesInArea BinaryPredicate)	Government.kif 2198-2198	agent operates in area is an instance of binary predicate
(subrelation agentOperatesInArea partlyLocated)	Government.kif 2201-2201	agent operates in area is a subrelation of partly located

appearance as argument number 2

(format ChineseLanguage agentOperatesInArea "%2 %n 是 agent 运作在 %1 地区")	domainEnglishFormat.kif 76-76
(format ChineseTraditionalLanguage agentOperatesInArea "%2 %n 是 agent 運作在 %1 地區")	domainEnglishFormat.kif 75-75
(format EnglishLanguage agentOperatesInArea "%2 is %n an agent operates in area of %1")	domainEnglishFormat.kif 74-74
(subrelation politicalPartyOfCountry agentOperatesInArea)	Government.kif 2192-2192	political party of country is a subrelation of agent operates in area
(termFormat ChineseLanguage agentOperatesInArea "代理人在区域内经营")	domainEnglishFormat.kif 5826-5826
(termFormat ChineseTraditionalLanguage agentOperatesInArea "代理人在區域內經營")	domainEnglishFormat.kif 5825-5825
(termFormat EnglishLanguage agentOperatesInArea "agent operates in area")	domainEnglishFormat.kif 5824-5824

antecedent

(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))

Government.kif 2326-2333

If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation,
then the cognitive agent desires the government of the geographic area believes the formula

consequent

(=> (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 4475-4483	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4468-4473	If an agent is diplomatic representative in role a human for a position with another agent and the agent is an instance of organization and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the agent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4462-4466	If an agent is diplomatic representative in role a human for a position with another agent and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the human
(=> (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 2480-2488	If an agent is an instance of international organization, then there exist a geographic area and another geographic area such that the geographic area is an instance of nation and the other geographic area is an instance of nation and the geographic area is an agent operates in area of the agent and the other geographic area is an agent operates in area of the agent and the geographic area is not equal to the other geographic area

appearance as argument number 0

(agentOperatesInArea UnitedNationsObserverMissionInGeorgia RepublicOfGeorgia)

Government.kif 4082-4082

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: