Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| agentOperatesInArea |
| appearance as argument number 1 |
|
| (instance agentOperatesInArea BinaryPredicate) | Government.kif 2204-2204 | agent operates in area is an instance of binary predicate |
| (domain agentOperatesInArea 1 AutonomousAgent) | Government.kif 2205-2205 | The number 1 argument of agent operates in area is an instance of agent |
| (domain agentOperatesInArea 2 GeographicArea) | Government.kif 2206-2206 | The number 2 argument of agent operates in area is an instance of geographic area |
| (subrelation agentOperatesInArea partlyLocated) | Government.kif 2207-2207 | agent operates in area is a subrelation of partly located |
| (documentation agentOperatesInArea EnglishLanguage "(agentOperatesInArea ?AGENT ?AREA) means that the individual or Organization ?AGENT operates in the GeographicArea ?AREA.") | Government.kif 2209-2211 | agent operates in area is a subrelation of partly located |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2332-2339 | If X is an instance of political pressure group, X has the purpose Y, Z is an agent operates in area of X, and Z is an instance of nation, then X desires the government of Z believes Y |
| consequent |
|
|
| (=> (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 2508-2516 | If X is an instance of international organization, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nation (3) Z is an instance of nation (4) Y is an agent operates in area of X (5) Z is an agent operates in area of X (6) equal Y (7) Z |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2)) |
Government.kif 4490-4494 | If X is diplomatic representative in role Y for Z with W and W is an instance of geopolitical area, then W is an agent operates in area of Y |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2)) |
Government.kif 4496-4501 | If X is diplomatic representative in role Y for Z with W, X is an instance of organization, and W is an instance of geopolitical area, then W is an agent operates in area of X |
| (=> (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 | If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V |
| appearance as argument number 0 |
|
|
| (agentOperatesInArea UnitedNationsObserverMissionInGeorgia RepublicOfGeorgia) | Government.kif 4110-4110 | Republic of georgia is an agent operates in area of united nations observer mission in georgia |
|