(=>
(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 |
(=>
(and
(diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
(geopoliticalSubdivision ?AGENT2 ?AGENT3)
(instance ?AGENT3 Nation))
(diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4527-4532 |
If X diplomatic representation type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X diplomatic representation type Y for W |
(=>
(diplomaticRelations ?COUNTRY1 ?COUNTRY2)
(exists (?ROLE)
(and
(instance ?ROLE ForeignServicePosition)
(subAttribute ?ROLE DiplomaticAgent)
(diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4549-4555 |
If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and Y diplomatic representation type Z for X |
(=>
(diplomaticRelations ?COUNTRY1 ?COUNTRY2)
(exists (?ROLE)
(and
(instance ?ROLE ForeignServicePosition)
(subAttribute ?ROLE DiplomaticAgent)
(diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4557-4563 |
If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and X diplomatic representation type Z for Y |
(=>
(diplomaticRelations ?COUNTRY1 ?COUNTRY2)
(exists (?ROLE1 ?ROLE2)
(and
(instance ?ROLE1 Position)
(instance ?ROLE2 Position)
(diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
(diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4565-4572 |
If X is a diplomatic relations of Y, then there exist Z, W such that Z is an instance of position, W is an instance of position, Y diplomatic representation type Z for X, and X diplomatic representation type W for Y |
(=>
(and
(instance ?SENDER Nation)
(instance ?RECEIVER Nation)
(instance ?PERSON Human)
(attribute ?PERSON ?ROLE)
(subAttribute ?ROLE DiplomaticAgent)
(representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER))
(diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER)) |
Government.kif 4613-4621 |
If All of the following hold: (1) X is an instance of nation (2) Y is an instance of nation (3) Z is an instance of human (4) W is an attribute of Z (5) W is a subattribute of diplomatic agent (6) X is representative agent to agent Z for Y, then X diplomatic representation type W for Y |
(=>
(diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
(diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4636-4638 |
If X is diplomatic organization type consulate general for Y, then X diplomatic representation type consul general for Y |
(=>
(diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
(diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4684-4686 |
If X is diplomatic organization type embassy for Y, then X diplomatic representation type ambassador for Y |
