(=>
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV))
(instance ?ORG GovernmentOrganization)) |
Merge.kif 17048-17052 |
If X is an instance of government and Y is a part of the organization X, then Y is an instance of government organization |
(=>
(and
(subOrganization ?ORG ?GOV)
(instance ?GOV GovernmentOrganization))
(instance ?ORG GovernmentOrganization)) |
Merge.kif 17054-17058 |
If X is a part of the organization Y and Y is an instance of government organization, then X is an instance of government organization |
(=>
(instance ?L License)
(exists (?ORG)
(and
(instance ?ORG GovernmentOrganization)
(issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 18144-18149 |
If X is an instance of license, then there exists Y such that Y is an instance of government organization and Y is an issued by of X |
(=>
(and
(instance ?O GovernmentPosition)
(occupiesPosition ?P ?O ?ORG))
(instance ?ORG GovernmentOrganization)) |
Mid-level-ontology.kif 20881-20885 |
If X is an instance of government position and Y holds the position of X in Z, then Z is an instance of government organization |
(=>
(attribute ?PERSON JudgeAtLaw)
(exists (?ORG)
(and
(instance ?ORG JudicialOrganization)
(instance ?ORG GovernmentOrganization)
(employs ?ORG ?PERSON)))) |
Mid-level-ontology.kif 23240-23246 |
If judge is an attribute of X, then there exists Y such that Y is an instance of judicial organization, Y is an instance of government organization, and Y employs X |
(=>
(and
(executiveBranch ?BRANCH ?AREA)
(instance ?AREA GeopoliticalArea))
(instance ?BRANCH GovernmentOrganization)) |
Government.kif 1266-1270 |
If X is an executive branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization |
(=>
(and
(instance ?ORG LegislativeOrganization)
(subOrganization ?ORG ?GOV)
(instance ?GOV GovernmentOrganization))
(instance ?ORG GovernmentOrganization)) |
Government.kif 1901-1906 |
If X is an instance of legislative organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
(=>
(and
(legislativeBranch ?ORG ?AREA)
(instance ?AREA GeopoliticalArea))
(instance ?ORG GovernmentOrganization)) |
Government.kif 1988-1992 |
If X is a legislative branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization |
(=>
(and
(instance ?ORG JudicialOrganization)
(subOrganization ?ORG ?GOV)
(instance ?GOV GovernmentOrganization))
(instance ?ORG GovernmentOrganization)) |
Government.kif 2056-2061 |
If X is an instance of judicial organization, X is a part of the organization Y, and Y is an instance of government organization, then X is an instance of government organization |
(=>
(and
(judicialBranch ?ORG ?AREA)
(instance ?AREA GeopoliticalArea))
(instance ?ORG GovernmentOrganization)) |
Government.kif 2083-2087 |
If X is a judicial branch of Y and X is an instance of geopolitical area, then Y is an instance of government organization |
(=>
(instance ?GROUP PoliticalPressureGroup)
(exists (?REQ ?ORG)
(and
(instance ?REQ Requesting)
(agent ?REQ ?GROUP)
(instance ?ORG GovernmentOrganization)
(patient ?REQ ?ORG)))) |
Government.kif 2323-2330 |
If X is an instance of political pressure group, then there exist Y, Z such that Y is an instance of requesting, X is an agent of Y, Z is an instance of government organization, and Z is a patient of Y |
(=>
(and
(attribute ?X BlueforceControlled)
(instance ?X Object))
(exists (?A)
(and
(instance ?A GovernmentOrganization)
(possesses ?A ?X)
(or
(subOrganization ?A
(GovernmentFn UnitedStates))
(allied ?A
(GovernmentFn UnitedStates)))))) |
MilitaryProcesses.kif 2849-2861 |
If blue force controlled is an attribute of X and X is an instance of object, then there exists Y such that Y is an instance of government organization, Y possesses X, Y is a part of the organization the government of united states or Y, and the government of united states are allies of each other |
