TreeView Knowledge Base Browser

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 15518-15522
(domain GovernmentFn 1 GeopoliticalArea)	Merge.kif 15516-15516	The number 1 argument of government is an instance of geopolitical area
(instance GovernmentFn PartialValuedRelation)	Merge.kif 15515-15515	Government is an instance of partial valued relation
(instance GovernmentFn UnaryFunction)	Merge.kif 15514-15514	Government is an instance of unary function
(range GovernmentFn Government)	Merge.kif 15517-15517	The range of government is an instance of government

appearance as argument number 2

(format ChineseLanguage GovernmentFn "%1 的 Government")	chinese_format.kif 802-802
(format EnglishLanguage GovernmentFn "%1 の government")	english_format.kif 815-815
(format EnglishLanguage GovernmentFn "the government of %1")	english_format.kif 814-814
(termFormat ChineseLanguage GovernmentFn "政府")	domainEnglishFormat.kif 26221-26221
(termFormat ChineseLanguage GovernmentFn "政府函数")	chinese_format.kif 803-803
(termFormat ChineseTraditionalLanguage GovernmentFn "政府")	domainEnglishFormat.kif 26220-26220
(termFormat EnglishLanguage GovernmentFn "government")	domainEnglishFormat.kif 26219-26219

antecedent

(=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE))	Government.kif 148-152	If a form of government is an attribute of a geopolitical area の government and the form of government is an instance of form of government, then the form of government is a government type of the geopolitical area
(=> (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 1931-1939	If unicameral legislature is an attribute of an organization and a geopolitical area is a legislative branch of the organization and another organization is an instance of legislative chamber and the other organization は組織 the geopolitical area の government の一部では %n and a third organization is an instance of legislative chamber and the third organization は組織 the geopolitical area の government の一部では %n, then the other organization is equal to the third organization
(=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))	Government.kif 4606-4611	If an agent diplomatic representation type consul general for a government and a geopolitical area is an instance of city and the government is equal to the geopolitical area の government, then the agent is diplomatic organization type consulate general for the government
(=> (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 4442-4450	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization は組織 the geopolitical area の government の一部では %n and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
(=> (and (instance ?AREA GeopoliticalArea) (instance (GovernmentFn ?AREA) NationalGovernment)) (instance ?AREA Nation))	Government.kif 121-125	If a geopolitical area is an instance of geopolitical area and the geopolitical area の government is an instance of national government, then the geopolitical area is an instance of nation
(=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON))	Merge.kif 13022-13026	If a geopolitical area is an instance of geopolitical area and a human is a leader of the geopolitical area の government, then the human is a leader of the geopolitical area
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	Government.kif 2250-2258	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the geopolitical area の government, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
(=> (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 1467-1478	If an organization is an instance of government cabinet and the organization は組織 a geopolitical area の government の一部では %n and the geopolitical area is an instance of geopolitical area, then the organization purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the geopolitical area の government is a leader of the other entity
(=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (agreementEffectiveDuring ?CONST (WhenFn ?GOV)) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV))	Government.kif 761-769	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the geopolitical area の government and the time of existence of the government is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1410-1416	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the geopolitical area の government, then the position is a leader position of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1419-1423	If a geopolitical area is an instance of nation and a position is a leader position of the geopolitical area の government, then the position is a leader position of the geopolitical area
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY)))	Government.kif 2145-2150	If an organization is an instance of supreme court and the organization は組織 a geopolitical area の government の一部では %n and the geopolitical area is an instance of nation, then the organization is an instance of the supreme court of the geopolitical area
(=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess))	Merge.kif 13041-13047	If a process is an instance of election and an agent is an agent of the process and a geopolitical area is an instance of geopolitical area and the agent is an instance of the geopolitical area の government, then the process is an instance of political process
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?AREA GeopoliticalArea) (leaderPosition ?AREA ?ROLE) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?AREA))) (leader ?AREA ?PERSON))	Government.kif 1441-1448	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the geopolitical area の government, then the human is a leader of the geopolitical area
(=> (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	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to a geopolitical area の government and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the geopolitical area の government is an agent of the other process

consequent

(<=> (instance ?C City) (instance (GovernmentFn ?C) CityGovernment))	Mid-level-ontology.kif 8044-8046	A geopolitical area is an instance of city if and only if the geopolitical area の government is an instance of city government
(<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment))	Mid-level-ontology.kif 8037-8039	A geopolitical area is an instance of state or province if and only if the geopolitical area の government is an instance of state government
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Nation) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG (GovernmentFn ?AGENT1)))))	Government.kif 4579-4588	If a geopolitical area is diplomatic organization type a kind of organization for an agent and the geopolitical area is an instance of nation and the agent is an instance of geopolitical area, then there exists another organization such that the other organization is an instance of a kind of organization and the other organization is located at the agent and the other organization は組織 the geopolitical area の government の一部では %n
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON))	Government.kif 4417-4421	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government employs the human
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation)) (exists (?ORG) (and (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG))))	Government.kif 4401-4409	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization は組織 the geopolitical area の government の一部では %n and the human holds the position of the position in the organization
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1267-1272	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area and another organization は組織 the organization の一部では %n, then the other organization は組織 the geopolitical area の government の一部では %n
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 1261-1265	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization は組織 the geopolitical area の government の一部では %n
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 340-345	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government is an instance of religious organization
(=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE)))))	Government.kif 244-252	If a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, then there exists an organization such that the organization is an instance of parliament and the organization は組織 the geopolitical area の government の一部では %n
(=> (and (instance (ExecutiveBranchFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (executiveBranch (ExecutiveBranchFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 1290-1294	If the executive branch of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government is an executive branch of the executive branch of the geopolitical area
(=> (and (instance (JudiciaryFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (judicialBranch (JudiciaryFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2109-2113	If the judiciary of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government is a judicial branch of the judiciary of the geopolitical area
(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA)))	Government.kif 2004-2008	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government is a legislative branch of the legislature of the geopolitical area
(=> (and (instance ?AREA GeopoliticalArea) (governmentType ?AREA ?TYPE)) (attribute (GovernmentFn ?AREA) ?TYPE))	Government.kif 142-146	If a geopolitical area is an instance of geopolitical area and a form of government is a government type of the geopolitical area, then the form of government is an attribute of the geopolitical area の government
(=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON))	Merge.kif 13028-13032	If a geopolitical area is an instance of geopolitical area and a human is a leader of the geopolitical area, then the human is a leader of the geopolitical area の government
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON))	Government.kif 1300-1304	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the organization の government
(=> (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 1467-1478	If an organization is an instance of government cabinet and the organization は組織 a geopolitical area の government の一部では %n and the geopolitical area is an instance of geopolitical area, then the organization purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the geopolitical area の government is a leader of the other entity
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE))	Government.kif 1425-1429	If a geopolitical area is an instance of nation and a position is a leader position of the geopolitical area, then the position is a leader position of the geopolitical area の government
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA)))	Government.kif 2303-2310	If a cognitive agent is an instance of political pressure group and the cognitive agent purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the geographic area の government believes the formula
(=> (and (instance ?R PoliticalRevolution) (patient ?R ?A)) (exists (?GOV1 ?GOV2) (and (holdsDuring (BeginFn (WhenFn ?R)) (equal ?GOV1 (GovernmentFn ?A))) (holdsDuring (EndFn (WhenFn ?R)) (equal ?GOV2 (GovernmentFn ?A))) (not (equal ?GOV1 ?GOV2)))))	Mid-level-ontology.kif 11550-11562	If a process is an instance of political revolution and an entity is a patient of the process, then there exist another entity and a third entity such that the other entity is equal to the entity の government holds during the beginning of the time of existence of the process and the third entity is equal to the entity の government holds during the end of the time of existence of the process and the other entity is not equal to the third entity
(=> (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	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to a geopolitical area の government and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the geopolitical area の government is an agent of the other process
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 2084-2089	If a geopolitical area is a judicial branch of an organization and the geopolitical area is an instance of geopolitical area and another organization は組織 the organization の一部では %n, then the other organization は組織 the geopolitical area の government の一部では %n
(=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA)))	Government.kif 2078-2082	If a geopolitical area is a judicial branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization は組織 the geopolitical area の government の一部では %n
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA)))	Government.kif 1983-1987	If a geopolitical area is a legislative branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization は組織 the geopolitical area の government の一部では %n
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP))	Government.kif 4545-4550	If a geopolitical area is representative agent to agent a cognitive agent for an agent and the geopolitical area is an instance of nation and the cognitive agent is an instance of cognitive agent, then the geopolitical area の government employs the cognitive agent
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA)))	Government.kif 1516-1518	If a geopolitical area chief of state a position for a human, then the human holds the position of the position in the geopolitical area の government

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates))	Government.kif 4759-4759	Department of homeland security は組織 united states の government の一部では %n
(subOrganization USStateDepartment (GovernmentFn UnitedStates))	Government.kif 2332-2332	US state department は組織 united states の government の一部では %n
(subOrganization UnitedStatesCongress (GovernmentFn UnitedStates))	Government.kif 1903-1903	United states congress は組織 united states の government の一部では %n
(subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates))	Government.kif 4786-4786	United states department of interior は組織 united states の government の一部では %n
(subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates))	Government.kif 4781-4781	United states department of state は組織 united states の government の一部では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: