(=>
(and
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(instance ?AGENT1 Nation))
(exists (?ORG)
(and
(instance ?ORG DiplomaticOrganization)
(subOrganization ?ORG
(GovernmentFn ?AGENT1))
(occupiesPosition ?PERSON ?POSITION ?ORG)))) |
Government.kif 4462-4470 |
If X is diplomatic representative in role Y for Z with W and X is an instance of nation, then there exists V such that V is an instance of diplomatic organization, V is a part of the organization the government of X, and Y holds the position of Z in V |
(=>
(and
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(instance ?AGENT1 Organization))
(occupiesPosition ?PERSON ?POSITION ?ORG)) |
Government.kif 4472-4476 |
If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then Y holds the position of Z in V |
(=>
(and
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(instance ?AGENT1 GeopoliticalArea))
(employs
(GovernmentFn ?AGENT1) ?PERSON)) |
Government.kif 4478-4482 |
If X is diplomatic representative in role Y for Z with W and X is an instance of geopolitical area, then the government of X employs Y |
(=>
(and
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(instance ?AGENT1 Organization))
(employs ?AGENT1 ?PERSON)) |
Government.kif 4484-4488 |
If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then X employs Y |
(=>
(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 |
(=>
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
(diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)) |
Government.kif 4523-4525 |
If X is diplomatic representative in role Y for Z with W, then X diplomatic representation type Z for W |
(=>
(diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
(representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2)) |
Government.kif 4595-4597 |
If X is diplomatic representative in role Y for Z with W, then X is representative agent to agent Y for W |
(=>
(diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
(diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4675-4677 |
If X is diplomatic representative in role Y for ambassador with Z, then X is diplomatic organization type embassy for Z |
