| Government | |
| appearance as argument number 1 |
|
|
| (documentation Government ChineseLanguage "这是一个 GeopoliticalArea 的管治机构。") | chinese_format.kif 3738-3738 | |
| (documentation Government EnglishLanguage "The ruling body of a GeopoliticalArea.") | Merge.kif 16868-16868 | |
| (subclass Government GovernmentOrganization) | Merge.kif 16863-16863 | |
| (subclass Government LegalAgent) | Merge.kif 16866-16866 |
| appearance as argument number 2 |
|
|
| (instance USStateDepartment Government) | Government.kif 2346-2346 | |
| (range GovernmentFn Government) | Merge.kif 16873-16873 | |
| (subclass CityGovernment Government) | Mid-level-ontology.kif 9554-9554 | |
| (subclass FederalHousingAdministration Government) | FinancialOntology.kif 1566-1566 | |
| (subclass NationalGovernment Government) | Government.kif 103-103 | |
| (subclass StateGovernment Government) | Mid-level-ontology.kif 9546-9546 | |
| (termFormat ChineseLanguage Government "政府") | chinese_format.kif 1070-1070 | |
| (termFormat EnglishLanguage Government "government") | english_format.kif 1351-1351 | |
| (termFormat FrenchLanguage Government "gouvernement") | french_format.kif 748-748 | |
| (termFormat Hindi Government "sarakaara") | terms-hindi.txt 280-280 | |
| (termFormat ItalianLanguage Government "Governo") | terms-it.txt 283-283 | |
| (termFormat JapaneseLanguage Government "政府") | japanese_format.kif 2432-2432 | |
| (termFormat PortugueseLanguage Government "Governo") | portuguese_format.kif 700-700 | |
| (termFormat cz Government "government") | terms-cz.txt 319-319 | |
| (termFormat de Government "Regierung") | terms-de.txt 578-578 | |
| (termFormat ro Government "guvern") | relations-ro.kif 769-769 | |
| (termFormat tg Government "pamahalaan") | terms-tg.txt 284-284 |
| antecedent |
|
|
| (=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16851-16855 |
| consequent |
|
|
| (<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 | |
| (=> (and (instance ?ATTRIBUTE PoliticoEconomicAttribute) (attribute ?GOVERNMENT ?ATTRIBUTE)) (instance ?GOVERNMENT Government)) |
Mid-level-ontology.kif 21130-21134 | |
| (=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission)))) |
Mid-level-ontology.kif 20289-20300 | |
| (=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV)))))) |
Mid-level-ontology.kif 24203-24211 | |
| (=> (holdsDuring ?T1 (attribute ?X GovernmentPerson)) (exists (?GOV) (and (instance ?GOV Government) (holdsDuring ?T1 (employs ?GOV ?X))))) |
Mid-level-ontology.kif 24074-24079 | |
| (=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2450-2455 | |
| (=> (instance ?Bond MunicipalBond) (exists (?Agent) (and (instance ?Agent Government) (issuedBy ?Bond ?Agent)))) |
FinancialOntology.kif 2384-2389 | |
| (=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government)))) |
FinancialOntology.kif 2483-2488 | |
| (=> (instance ?CHARGE LegalCharge) (exists (?GOV) (and (instance ?GOV Government) (agent ?CHARGE ?GOV)))) |
Mid-level-ontology.kif 17519-17524 | |
| (=> (instance ?E Execution) (exists (?G) (and (instance ?G Government) (agent ?E ?G)))) |
Mid-level-ontology.kif 19849-19854 | |
| (=> (instance ?G PublicGarden) (exists (?GOV) (and (instance ?GOV Government) (possesses ?GOV ?G)))) |
Mid-level-ontology.kif 9385-9390 | |
| (=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1572-1577 | |
| (=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))) |
Merge.kif 16844-16849 | |
| (=> (instance ?ORG ServiceOrganization) (exists (?PROC ?GOV) (and (instance ?PROC RegulatoryProcess) (patient ?PROC ?ORG) (agent ?PROC ?GOV) (instance ?GOV Government)))) |
Mid-level-ontology.kif 9678-9685 | |
| (=> (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 7948-7958 | |
| (=> (instance ?P PrivateOrganization) (not (exists (?G) (and (instance ?G Government) (possesses ?G ?P))))) |
Mid-level-ontology.kif 7730-7736 | |
| (=> (instance ?P PublicPark) (exists (?G) (and (instance ?G Government) (possesses ?G ?P)))) |
Mid-level-ontology.kif 9314-9319 | |
| (=> (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 10880-10892 | |
| (=> (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 15326-15335 | |
| (=> (instance ?Tax Tax) (exists (?Org) (and (instance ?Org Government) (agent ?Tax ?Org)))) |
FinancialOntology.kif 924-929 | |
| (=> (instance ?X GovernmentBuilding) (exists (?G) (and (instance ?G Government) (possesses ?G ?X)))) |
Mid-level-ontology.kif 24065-24070 |
|
|
|