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
-------------------------


s__documentation(s__agentOperatesInArea__m,s__EnglishLanguage,'(agentOperatesInArea ?AGENT ?AREA) means that the individual or Organization ?AGENT operates in the GeographicArea ?AREA.')

Government.kif 2199-2201
s__domain(s__agentOperatesInArea__m,1,s__Agent)

Government.kif 2195-2195
s__domain(s__agentOperatesInArea__m,2,s__GeographicArea)

Government.kif 2196-2196
s__instance(s__BinaryPredicate,s__SetOrClass)

Government.kif 2194-2194
s__subrelation(s__agentOperatesInArea__m,s__partlyLocated__m)

Government.kif 2197-2197

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__agentOperatesInArea__m,'%2 is %n an agent operates in area of %1')

domainEnglishFormat.kif 28-28
s__subrelation(s__politicalPartyOfCountry__m,s__agentOperatesInArea__m)

Government.kif 2188-2188
s__termFormat(s__EnglishLanguage,s__agentOperatesInArea__m,'agent operates in area')

domainEnglishFormat.kif 1405-1405

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316

consequent
-------------------------


( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2,V__ORG] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Nation) &
     s__instance(V__ORG,s__DiplomaticOrganization) &
     s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
&
s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)
&
s__instance(V__AGENT2,s__GeopoliticalArea))
=>
s__agentOperatesInArea(V__ORG,V__AGENT2))
)

Government.kif 4448-4456
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Organization) &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   s__agentOperatesInArea(V__AGENT1,V__AGENT2))
)

Government.kif 4441-4446
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   s__agentOperatesInArea(V__PERSON,V__AGENT2))
)

Government.kif 4435-4439
( ! [V__ORG] :
   (s__instance(V__ORG,s__InternationalOrganization) =>
     (? [V__COUNTRY1,V__COUNTRY2] :
       (s__instance(V__COUNTRY1,s__Nation) &
         s__instance(V__COUNTRY2,s__Nation) &
         s__agentOperatesInArea(V__ORG,V__COUNTRY1)
       &
       s__agentOperatesInArea(V__ORG,V__COUNTRY2)
     &
     (~ (V__COUNTRY1 = V__COUNTRY2)))))
)

Government.kif 2463-2471