(=>
(instance ?PROC PoliticalProcess)
(exists (?POL)
(and
(or
(instance ?POL Government)
(exists (?GOV)
(and
(instance ?GOV Government)
(member ?POL ?GOV))))
(or
(agent ?PROC ?POL)
(patient ?PROC ?POL))))) |
Merge.kif 11004-11016 |
If X is an instance of political process, then there exists Y such that Y is an instance of government, there exists Z such that Z is an instance of government, Y is a member of Z, and Y is an agent of X, or Y is a patient of X |
(=>
(instance ?ORG GovernmentOrganization)
(exists (?GOV)
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV)))) |
Merge.kif 17041-17046 |
If X is an instance of government organization, then there exists Y such that Y is an instance of government and X is a part of the organization Y |
(=>
(instance ?P PrivateOrganization)
(not
(exists (?G)
(and
(instance ?G Government)
(possesses ?G ?P))))) |
Mid-level-ontology.kif 7862-7868 |
If X is an instance of Private organization, then there doesn't exist Y such that Y is an instance of government and Y possesses X |
(=>
(instance ?P Prison)
(hasPurpose ?P
(exists (?C ?H ?G)
(and
(instance ?C Confining)
(eventLocated ?C ?P)
(patient ?C ?H)
(instance ?H Human)
(agent ?C ?G)
(instance ?G Government))))) |
Mid-level-ontology.kif 8084-8094 |
If X is an instance of prison, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of confining (3) Y is located at X (4) Z is a patient of Y (5) Z is an instance of human (6) W is an agent of Y (7) W is an instance of government |
(=>
(instance ?P PublicPark)
(exists (?G)
(and
(instance ?G Government)
(possesses ?G ?P)))) |
Mid-level-ontology.kif 9449-9454 |
If X is an instance of public park, then there exists Y such that Y is an instance of government and Y possesses X |
(=>
(instance ?G PublicGarden)
(exists (?GOV)
(and
(instance ?GOV Government)
(possesses ?GOV ?G)))) |
Mid-level-ontology.kif 9520-9525 |
If X is an instance of public garden, then there exists Y such that Y is an instance of government and Y possesses X |
(=>
(instance ?ORG ServiceOrganization)
(exists (?PROC ?GOV)
(and
(instance ?PROC RegulatoryProcess)
(patient ?PROC ?ORG)
(agent ?PROC ?GOV)
(instance ?GOV Government)))) |
Mid-level-ontology.kif 9814-9821 |
If X is an instance of service organization, then there exist Y, Z such that Y is an instance of regulatory process, X is a patient of Y, Z is an agent of Y, and Z is an instance of government |
(=>
(instance ?S Espionage)
(exists (?GOV1 ?GOV2)
(and
(instance ?GOV1 Government)
(instance ?GOV2 Government)
(agent ?S ?GOV1)
(patient ?S ?GOV2)
(not
(equal ?GOV1 ?GOV2))))) |
Mid-level-ontology.kif 15538-15547 |
If X is an instance of espionage, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of government (3) Z is an instance of government (4) Y is an agent of X (5) Z is a patient of X (6) equal Y (7) Z |
(=>
(instance ?CHARGE LegalCharge)
(exists (?GOV)
(and
(instance ?GOV Government)
(agent ?CHARGE ?GOV)))) |
Mid-level-ontology.kif 17720-17725 |
If X is an instance of legal charge, then there exists Y such that Y is an instance of government and Y is an agent of X |
(=>
(instance ?E Execution)
(exists (?G)
(and
(instance ?G Government)
(agent ?E ?G)))) |
Mid-level-ontology.kif 20166-20171 |
If X is an instance of execution, then there exists Y such that Y is an instance of government and Y is an agent of X |
(=>
(and
(instance ?S SeizingProperty)
(destination ?S ?A)
(origin ?S ?V)
(instance ?V CognitiveAgent))
(and
(instance ?A Government)
(not
(confersNorm ?V Permission
(destination ?S ?A))))) |
Mid-level-ontology.kif 20623-20634 |
If X is an instance of seizing property, X ends up at Y, X originates at Z, and Z is an instance of cognitive agent, then Y is an instance of government and Z doesn't confers norm permission for X doesn't end up at Y |
(=>
(and
(instance ?ATTRIBUTE PoliticoEconomicAttribute)
(attribute ?GOVERNMENT ?ATTRIBUTE))
(instance ?GOVERNMENT Government)) |
Mid-level-ontology.kif 21442-21446 |
If X is an instance of politico economic attribute and X is an attribute of Y, then Y is an instance of government |
(=>
(instance ?X GovernmentBuilding)
(exists (?G)
(and
(instance ?G Government)
(possesses ?G ?X)))) |
Mid-level-ontology.kif 24682-24687 |
If X is an instance of government building, then there exists Y such that Y is an instance of government and Y possesses X |
(=>
(holdsDuring ?T1
(attribute ?X GovernmentPerson))
(exists (?GOV)
(and
(instance ?GOV Government)
(holdsDuring ?T1
(employs ?GOV ?X))))) |
Mid-level-ontology.kif 24691-24696 |
If government person is an attribute of X holds during Y, then there exists Z such that Z is an instance of government and Z employs X holds during Y |
(=>
(attribute ?X PoliticalFigure)
(exists (?GOV)
(and
(instance ?GOV Government)
(or
(member ?X ?GOV)
(desires ?X
(member ?X ?GOV)))))) |
Mid-level-ontology.kif 24820-24828 |
If political figure is an attribute of X, then there exists Y such that Y is an instance of government and X is a member of Y or X desires X is a member of Y |
(=>
(instance ?Tax Tax)
(exists (?Org)
(and
(instance ?Org Government)
(agent ?Tax ?Org)))) |
FinancialOntology.kif 944-949 |
If X is an instance of tax, then there exists Y such that Y is an instance of government and Y is an agent of X |
(=>
(instance ?Mortgage ConventionalMortgage)
(not
(exists (?Government)
(and
(instance ?Government Government)
(insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1598-1603 |
If X is an instance of conventional mortgage, then there doesn't exist Y such that Y is an instance of government and Y is an insured of X |
(=>
(instance ?Bond MunicipalBond)
(exists (?Agent)
(and
(instance ?Agent Government)
(issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2408-2413 |
If X is an instance of municipal bond, then there exists Y such that Y is an instance of government and Y is an issued by of X |
(=>
(instance ?Bond GovernmentBond)
(exists (?Agent)
(and
(issuedBy ?Bond ?Agent)
(instance ?Agent Government)))) |
FinancialOntology.kif 2474-2479 |
If X is an instance of government bond, then there exists Y such that Y is an issued by of X and Y is an instance of government |
(=>
(instance ?Bond TreasuryBond)
(exists (?Agent)
(and
(issuedBy ?Bond ?Agent)
(instance ?Agent Government)))) |
FinancialOntology.kif 2507-2512 |
If X is an instance of treasury bond, then there exists Y such that Y is an issued by of X and Y is an instance of government |
(<=>
(instance ?ORG GovernmentOrganization)
(or
(instance ?ORG Government)
(exists (?GOV)
(and
(instance ?GOV Government)
(subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 |
X is an instance of government organization if, only if X is an instance of government or there exists Y such that Y is an instance of government, and X is a part of the organization Y |
