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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agentOperatesInArea
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 2201-2203
(domain agentOperatesInArea 1 AutonomousAgent) Government.kif 2197-2197 Il numero 1 argomenti di agentOperatesInArea è un istanza di AutonomousAgent
(domain agentOperatesInArea 2 GeographicArea) Government.kif 2198-2198 Il numero 2 argomenti di agentOperatesInArea è un istanza di AreaGeografica
(instance agentOperatesInArea BinaryPredicate) Government.kif 2196-2196 agentOperatesInArea è un' istanza di PredicatoBinario
(subrelation agentOperatesInArea partlyLocated) Government.kif 2199-2199 agentOperatesInArea è una sottorelazione di 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 2190-2190 politicalPartyOfCountry è una sottorelazione di agentOperatesInArea
(termFormat ChineseLanguage agentOperatesInArea "代理人在区域内经营") domainEnglishFormat.kif 5835-5835 politicalPartyOfCountry è una sottorelazione di agentOperatesInArea
(termFormat ChineseTraditionalLanguage agentOperatesInArea "代理人在區域內經營") domainEnglishFormat.kif 5834-5834 politicalPartyOfCountry è una sottorelazione di agentOperatesInArea
(termFormat EnglishLanguage agentOperatesInArea "agent operates in area") domainEnglishFormat.kif 5833-5833 politicalPartyOfCountry è una sottorelazione di agentOperatesInArea

antecedent
-------------------------


(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2324-2331

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 4473-4481
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4466-4471
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))		 Government.kif 4460-4464
(=>
    (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 2478-2486