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 2236-2238
(domain agentOperatesInArea 1 Agent)	Government.kif 2232-2232	domain agentOperatesInArea, 1 and Agent
(domain agentOperatesInArea 2 GeographicArea)	Government.kif 2233-2233	domain agentOperatesInArea, 2 and GeographicArea
(instance agentOperatesInArea BinaryPredicate)	Government.kif 2231-2231	instance agentOperatesInArea and BinaryPredicate
(subrelation agentOperatesInArea partlyLocated)	Government.kif 2234-2234	subrelation agentOperatesInArea and partlyLocated

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 2225-2225	subrelation politicalPartyOfCountry and agentOperatesInArea
(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 2359-2366

instance CognitiveAgent and PoliticalPressureGroup hasPurpose CognitiveAgent and Formula agentOperatesInArea CognitiveAgent and GeographicArea instance GeographicArea and Nation
desires CognitiveAgent and believes GeographicArea の government and 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 4503-4511	diplomaticRepresentativeInRole GeopoliticalArea, Human, Position and Agent instance GeopoliticalArea and Nation instance Organization and DiplomaticOrganization Organization は組織 GeopoliticalArea の government の一部では %n occupiesPosition Human, Position and Organization instance Agent and GeopoliticalArea agentOperatesInArea Organization and Agent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2))	Government.kif 4496-4501	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and Organization instance Agent and GeopoliticalArea agentOperatesInArea Agent and Agent
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2))	Government.kif 4490-4494	diplomaticRepresentativeInRole Agent, Human, Position and Agent instance Agent and GeopoliticalArea agentOperatesInArea Human and Agent
(=> (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 2513-2521	instance Agent and InternationalOrganization GeographicArea GeographicArea instance GeographicArea and Nation instance GeographicArea and Nation agentOperatesInArea Agent and GeographicArea agentOperatesInArea Agent and GeographicArea equal GeographicArea and GeographicArea

appearance as argument number 0

(agentOperatesInArea UnitedNationsObserverMissionInGeorgia RepublicOfGeorgia)

Government.kif 4110-4110

agentOperatesInArea UnitedNationsObserverMissionInGeorgia and RepublicOfGeorgia

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: