agentOperatesInArea - Sigma Knowledge base Browser

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 2224-2226
(domain agentOperatesInArea 1 Agent)	Government.kif 2220-2220	The number 1 argument of agent operates in area is an instance of agent
(domain agentOperatesInArea 2 GeographicArea)	Government.kif 2221-2221	The number 2 argument of agent operates in area is an instance of geographic area
(instance agentOperatesInArea BinaryPredicate)	Government.kif 2219-2219	agent operates in area is an instance of binary predicate
(subrelation agentOperatesInArea partlyLocated)	Government.kif 2222-2222	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 2213-2213	political party of country is a subrelation of agent operates in area
(termFormat ChineseLanguage agentOperatesInArea "代理人在区域内经营")	domainEnglishFormat.kif 5835-5835
(termFormat ChineseTraditionalLanguage agentOperatesInArea "代理人在區域內經營")	domainEnglishFormat.kif 5834-5834
(termFormat EnglishLanguage agentOperatesInArea "agent operates in area")	domainEnglishFormat.kif 5833-5833

antecedent

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

Government.kif 2347-2354

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 4491-4499	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 4484-4489	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 4478-4482	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 2501-2509	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 4098-4098

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

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: