Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GovernmentFn
GovernmentFn

appearance as argument number 1
-------------------------


(instance GovernmentFn UnaryFunction) Merge.kif 17064-17064 Government is an instance of unary function
(instance GovernmentFn PartialValuedRelation) Merge.kif 17065-17065 Government is an instance of partial valued relation
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 17066-17066 The number 1 argument of government is an instance of geopolitical area
(range GovernmentFn Government) Merge.kif 17067-17067 The range of government is an instance of government
(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 17068-17072 The range of government is an instance of government

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage GovernmentFn "government") domainEnglishFormat.kif 26300-26300
(termFormat ChineseTraditionalLanguage GovernmentFn "政府") domainEnglishFormat.kif 26301-26301
(termFormat ChineseLanguage GovernmentFn "政府") domainEnglishFormat.kif 26302-26302
(format EnglishLanguage GovernmentFn "the government of %1") english_format.kif 811-811
(format JapaneseLanguage GovernmentFn "%1 の government") english_format.kif 812-812

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader
            (GovernmentFn ?AREA) ?PERSON))
    (leader ?AREA ?PERSON))		 Merge.kif 14374-14378 If X is an instance of geopolitical area and Y is a leader of the government of X, then Y is a leader of X
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))		 Merge.kif 14393-14399 If X is an instance of election, Y is an agent of X, Z is an instance of geopolitical area, and Y is an instance of the government of Z, then X is an instance of political process
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (GovernmentFn ?AREA) NationalGovernment))
    (instance ?AREA Nation))		 Government.kif 121-125 If X is an instance of geopolitical area and the government of X is an instance of national government, then X is an instance of nation
(=>
    (and
        (attribute
            (GovernmentFn ?AREA) ?TYPE)
        (instance ?TYPE FormOfGovernment))
    (governmentType ?AREA ?TYPE))		 Government.kif 148-152 If X is an attribute of the government of Y and X is an instance of form of government, then X is a government type of Y
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (instance
            (WhenFn ?GOV) ?CLASS)
        (agreementEffectiveDuring ?CONST ?CLASS)
        (subProposition ?PART ?CONST)
        (containsFormula ?PART ?FORMULA))
    (holdsObligation ?GOV ?FORMULA))		 Government.kif 745-754 If All of the following hold: (1) X is an instance of the constitution of Y (2) Y is an instance of nation (3) equal Z and the government of Y (4) the time of existence of Z is an instance of W (5) W is an agreement effective during of X (6) V is a sub-proposition of X (7) V contains the formula U, then Z is obliged to perform tasks of type U
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1427-1433 If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1436-1440 If X is an instance of nation and Y is a leader position of the government of X, then Y is a leader position of X
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))		 Government.kif 1458-1465 If X is an instance of human, Y is an instance of position, Z is an instance of geopolitical area, Y is a leader position of Z, and X holds the position of Y in the government of Z, then X is a leader of Z
(=>
    (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 1484-1495 If X is an instance of government cabinet, X is a part of the organization the government of Y, and Y is an instance of geopolitical area, then X has the purpose there exist Z, W such that Z is an instance of stating, X is an agent of Z, W is a patient of Z, and the government of Y is a leader of W
(=>
    (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 1948-1956 If All of the following hold: (1) unicameral legislature is an attribute of X (2) Y is a legislative branch of X (3) Z is an instance of legislative chamber (4) Z is a part of the organization the government of Y (5) W is an instance of legislative chamber (6) W is a part of the organization the government of Y, then equal Z and W
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2161-2166 If X is an instance of supreme court, X is a part of the organization the government of Y, and Y is an instance of nation, then X is an instance of the supreme court of Y
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))		 Government.kif 2279-2287 If X is an instance of geopolitical area and Y holds the position of leader in the government of X, then there exists Z such that Z is an instance of guiding, X is a patient of Z, and Y is an agent of Z
(=>
    (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 4503-4511 If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))		 Government.kif 4667-4672 If X diplomatic representation type consul general for Y, Z is an instance of city, and equal Y and the government of Z, then X is diplomatic organization type consulate general for Y
(=>
    (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 All of the following hold: (1) X is an instance of unconventional warfare (2) Y is an agent of X (3) equal Y and Z (4) equal Y and the government of W (5) Z is a patient of X (6) Z is a member of the resident of W or Z is a proper sub-collection of the resident of W, then there exists V such that V is an instance of contest, Z is an agent of V, and the government of W is an agent of V

consequent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader ?AREA ?PERSON))
    (leader
        (GovernmentFn ?AREA) ?PERSON))		 Merge.kif 14380-14384 If X is an instance of geopolitical area and Y is a leader of X, then Y is a leader of the government of X
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 9686-9688 X is an instance of state or province if and only if the government of X is an instance of state government
(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 9693-9695 X is an instance of city if and only if the government of X is an instance of city government
(=>
    (hostileForces ?U1 ?U2)
    (exists (?WAR ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?WAR ?A1)
            (contestParticipant ?WAR ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))		 Mid-level-ontology.kif 9787-9795 If X is a hostile forces of Y, then there exist Z, W, V such that Z is an instance of war, W participates in Z, V participates in Z, Y is a part of the organization the government of W, and X is a part of the organization the government of V
(=>
    (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 15489-15501 If X is an instance of political revolution and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that equal Z (3) the government of Y holds during the beginning of the time of existence of X (4) equal W (5) the government of Y holds during the end of the time of existence of X (6) equal Z (7) W
(=>
    (instance ?COUNTRY Nation)
    (instance
        (GovernmentFn ?COUNTRY) NationalGovernment))		 Government.kif 117-119 If X is an instance of nation, then the government of X is an instance of national government
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (governmentType ?AREA ?TYPE))
    (attribute
        (GovernmentFn ?AREA) ?TYPE))		 Government.kif 142-146 If X is an instance of geopolitical area and Y is a government type of X, then Y is an attribute of the government of X
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))		 Government.kif 256-264 If X is a government type of Y, Y is an instance of geopolitical area, and X is a subattribute of parliamentary government, then there exists Z such that Z is an instance of parliament and Z is a part of the organization the government of Y
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))		 Government.kif 352-357 If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of geopolitical area, then the government of Y is an instance of religious organization
(=>
    (instance ?AREA ParliamentaryTerritory)
    (governmentType
        (GovernmentFn ?AREA) ParliamentaryGovernment))		 Government.kif 491-493 If X is an instance of parliamentary territory, then parliamentary government is a government type of the government of X
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1278-1282 If X is an executive branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1284-1289 If X is an executive branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1307-1311 If the executive branch of X is an instance of organization and X is an instance of geopolitical area, then the government of X is an executive branch of the executive branch of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))		 Government.kif 1317-1321 If X is an instance of geopolitical area and Y holds the position of leader in X, then Y is a leader of the government of X
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1442-1446 If X is an instance of nation and Y is a leader position of X, then Y is a leader position of the government of X
(=>
    (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 1484-1495 If X is an instance of government cabinet, X is a part of the organization the government of Y, and Y is an instance of geopolitical area, then X has the purpose there exist Z, W such that Z is an instance of stating, X is an agent of Z, W is a patient of Z, and the government of Y is a leader of W
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))		 Government.kif 1533-1535 If X chief of state Y for Z, then Z holds the position of Y in the government of X
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON Leader
        (GovernmentFn ?AREA)))		 Government.kif 1537-1539 If X chief of state Y for Z, then Z holds the position of leader in the government of X
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))		 Government.kif 1586-1588 If X is the head of government Y for Z, then Z holds the position of Y in the government of X
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2000-2004 If X is a legislative branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2021-2025 If the legislature of X is an instance of organization and X is an instance of geopolitical area, then the government of X is a legislative branch of the legislature of X
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2095-2099 If X is a judicial branch of Y and X is an instance of geopolitical area, then Y is a part of the organization the government of X
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2101-2106 If X is a judicial branch of Y, X is an instance of geopolitical area, and Z is a part of the organization Y, then Z is a part of the organization the government of X
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2125-2129 If the judiciary of X is an instance of organization and X is an instance of geopolitical area, then the government of X is a judicial branch of the judiciary of X
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2332-2339 If X is an instance of political pressure group, X has the purpose Y, Z is an agent operates in area of X, and Z is an instance of nation, then X desires the government of Z believes Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))		 Government.kif 1920-1920 United states congress is a part of the organization the government of united states
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))		 Government.kif 2361-2361 US state department is a part of the organization the government of united states
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4820-4820 Department of homeland security is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))		 Government.kif 4842-4842 United states department of state is a part of the organization the government of united states
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))		 Government.kif 4847-4847 United states department of interior is a part of the organization the government of united states
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))		 VirusProteinAndCellPart.kif 1270-1270 US food and drug administration is a part of the organization the government of united states


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners