(=>
(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 |
(=>
(and
(diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
(instance ?AGENT1 Nation)
(instance ?AGENT2 GeopoliticalArea))
(exists (?ORG)
(and
(instance ?ORG ?TYPE)
(located ?ORG ?AGENT2)
(subOrganization ?ORG
(GovernmentFn ?AGENT1))))) |
Government.kif 4640-4649 |
If X is diplomatic organization type Y for Z, X is an instance of nation, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization the government of X |
(=>
(and
(diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
(instance ?AGENT1 Organization)
(instance ?AGENT2 GeopoliticalArea))
(exists (?ORG)
(and
(instance ?ORG ?TYPE)
(located ?ORG ?AGENT2)
(subOrganization ?ORG ?AGENT1)))) |
Government.kif 4650-4659 |
If X is diplomatic organization type Y for Z, X is an instance of organization, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization X |
(=>
(and
(diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
(geopoliticalSubdivision ?AGENT2 ?AGENT3)
(instance ?AGENT3 Nation))
(diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4660-4665 |
If X is diplomatic organization type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X is diplomatic organization type Y for W |
(=>
(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 |
