Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2199-2201
(domain agentOperatesInArea 1 Agent) Government.kif 2195-2195 The number 1 argument of agent operates in area is an instance of agent
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2196-2196 The number 2 argument of agent operates in area is an instance of geographic area
(instance agentOperatesInArea BinaryPredicate) Government.kif 2194-2194 agent operates in area is an instance of binary predicate
(subrelation agentOperatesInArea partlyLocated) Government.kif 2197-2197 agent operates in area is a subrelation of partly located

appearance as argument number 2

(format EnglishLanguage agentOperatesInArea "%2 is %n an agent operates in area of %1") domainEnglishFormat.kif 28-28
(subrelation politicalPartyOfCountry agentOperatesInArea) Government.kif 2188-2188 political party of country is a subrelation of agent operates in area
(termFormat EnglishLanguage agentOperatesInArea "agent operates in area") domainEnglishFormat.kif 1405-1405 "agent operates in area" is the printable form of agent operates in area in english language


        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
            (GovernmentFn ?AREA) ?FORMULA)))
Government.kif 2309-2316


        (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 4448-4456
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))
Government.kif 4441-4446
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))
Government.kif 4435-4439
    (instance ?ORG InternationalOrganization)
    (exists (?COUNTRY1 ?COUNTRY2)
            (instance ?COUNTRY1 Nation)
            (instance ?COUNTRY2 Nation)
            (agentOperatesInArea ?ORG ?COUNTRY1)
            (agentOperatesInArea ?ORG ?COUNTRY2)
                (equal ?COUNTRY1 ?COUNTRY2)))))
Government.kif 2463-2471