GovernmentFn |
appearance as argument number 1 |
(documentation GovernmentFn ChineseLanguage "(GovernmentFn ?AREA)表示 GeopoliticalArea ?AREA 的 Government。例如:(GovernmentFn UnitedStates)表示美国的联邦政府, (GovernmentFn PuertoRico)表示波多黎各联邦的政府。") | chinese_format.kif 3739-3741 | |
(documentation GovernmentFn EnglishLanguage "(GovernmentFn ?AREA) denotes the Government of the GeopoliticalArea ?AREA. For example, (GovernmentFn UnitedStates) denotes the Federal-level government of the United States, (GovernmentFn PuertoRico) denotes the government of the Commonwealth of Puerto Rico.") | Merge.kif 16714-16718 | |
(domain GovernmentFn 1 GeopoliticalArea) | Merge.kif 16712-16712 | 政府函数 的 1 数量 是 地缘政治区域 的 instance |
(instance GovernmentFn PartialValuedRelation) | Merge.kif 16711-16711 | 政府函数 是 部分值关系 的 instance |
(instance GovernmentFn UnaryFunction) | Merge.kif 16710-16710 | 政府函数 是 一元函数 的 instance |
(range GovernmentFn Government) | Merge.kif 16713-16713 | 政府函数 的 range 是 政府 的实例 |
appearance as argument number 2 |
(format ChineseLanguage GovernmentFn "%1 的 Government") | chinese_format.kif 802-802 | |
(format EnglishLanguage GovernmentFn "the government of %1") | english_format.kif 811-811 | |
(format FrenchLanguage GovernmentFn "le gouvernment de %1") | french_format.kif 482-482 | |
(format JapaneseLanguage GovernmentFn "%1 の government") | english_format.kif 812-812 | |
(format PortugueseLanguage GovernmentFn "o governo de %1") | portuguese_format.kif 434-434 | |
(format ro GovernmentFn "government%t{guvernul} lui %1") | relations-ro.kif 504-504 | |
(termFormat ChineseLanguage GovernmentFn "政府") | domainEnglishFormat.kif 26298-26298 | |
(termFormat ChineseLanguage GovernmentFn "政府函数") | chinese_format.kif 803-803 | |
(termFormat ChineseTraditionalLanguage GovernmentFn "政府") | domainEnglishFormat.kif 26297-26297 | |
(termFormat EnglishLanguage GovernmentFn "government") | domainEnglishFormat.kif 26296-26296 |
antecedent |
(=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE)) |
Government.kif 148-152 |
|
(=> (and (attribute ?ORG UnicameralLegislature) (legislativeBranch ?ORG ?AREA) (instance ?CHAMBER1 LegislativeChamber) (subOrganization ?CHAMBER1 (GovernmentFn ?AREA)) (instance ?CHAMBER2 LegislativeChamber) (subOrganization ?CHAMBER2 (GovernmentFn ?AREA))) (equal ?CHAMBER1 ?CHAMBER2)) |
Government.kif 1977-1985 |
|
(=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4675-4680 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2)) |
Government.kif 4511-4519 | |
(=> (and (instance ?AREA GeopoliticalArea) (instance (GovernmentFn ?AREA) NationalGovernment)) (instance ?AREA Nation)) |
Government.kif 121-125 | |
(=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON)) |
Merge.kif 14060-14064 | |
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON)))) |
Government.kif 2309-2317 | |
(=> (and (instance ?CAB GovernmentCabinet) (subOrganization ?CAB (GovernmentFn ?AREA)) (instance ?AREA GeopoliticalArea)) (hasPurpose ?CAB (exists (?ADVICE ?LEADER) (and (instance ?ADVICE Stating) (agent ?ADVICE ?CAB) (patient ?ADVICE ?LEADER) (leader ?LEADER (GovernmentFn ?AREA)))))) |
Government.kif 1513-1524 | |
(=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (instance (WhenFn ?GOV) ?CLASS) (agreementEffectiveDuring ?CONST ?CLASS) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV)) |
Government.kif 774-783 | |
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1456-1462 | |
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1465-1469 | |
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2191-2196 | |
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14079-14085 | |
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON)) |
Government.kif 1487-1494 | |
(=> (and (instance ?UW UnconventionalWarfare) (agent ?UW ?AGENT) (not (equal ?AGENT ?POPULACE)) (not (equal ?AGENT (GovernmentFn ?NATION))) (patient ?UW ?POPULACE) (or (member ?POPULACE (ResidentFn ?NATION)) (subCollection ?POPULACE (ResidentFn ?NATION)))) (exists (?CONTEST) (and (instance ?CONTEST Contest) (agent ?CONTEST ?POPULACE) (agent ?CONTEST (GovernmentFn ?NATION))))) |
MilitaryProcesses.kif 163-183 |
|
consequent |
statement |
(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates)) |
Government.kif 4828-4828 | 国土安全部 是 美国 的 Government Organization 的一部分 |
(subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates)) |
VirusProteinAndCellPart.kif 1283-1283 | USFoodAndDrugAdministration 是 美国 的 Government Organization 的一部分 |
(subOrganization USStateDepartment (GovernmentFn UnitedStates)) |
Government.kif 2391-2391 | 美国国务院 是 美国 的 Government Organization 的一部分 |
(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates)) |
Government.kif 1949-1949 | 美国国会 是 美国 的 Government Organization 的一部分 |
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates)) |
Government.kif 4855-4855 | 美国内政部 是 美国 的 Government Organization 的一部分 |
(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates)) |
Government.kif 4850-4850 | 美国国务院 是 美国 的 Government Organization 的一部分 |