Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Government GovernmentOrganization) | Merge.kif 17060-17060 | Government is a subclass of government organization |
| (documentation Government EnglishLanguage "The ruling body of a GeopoliticalArea.") | Merge.kif 17062-17062 | Government is a subclass of government organization |
| appearance as argument number 2 |
|
|
| (range GovernmentFn Government) | Merge.kif 17067-17067 | The range of government is an instance of government |
| (subclass StateGovernment Government) | Mid-level-ontology.kif 9682-9682 | State government is a subclass of government |
| (subclass CityGovernment Government) | Mid-level-ontology.kif 9690-9690 | City government is a subclass of government |
| (subclass FederalHousingAdministration Government) | FinancialOntology.kif 1592-1592 | Federal housing administration is a subclass of government |
| (subclass NationalGovernment Government) | Government.kif 103-103 | National government is a subclass of government |
| (instance USStateDepartment Government) | Government.kif 2355-2355 | US state department is an instance of government |
| (termFormat EnglishLanguage Government "government") | english_format.kif 1355-1355 | US state department is an instance of government |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (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 |
|
