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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - GovernmentFn
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 16889-16893
(domain GovernmentFn 1 GeopoliticalArea) Merge.kif 16887-16887 Le nombre 1 argument de GovernmentFn est une instance de secteur g�opolitique
(instance GovernmentFn PartialValuedRelation) Merge.kif 16886-16886 GovernmentFn est une instance de relation partielle
(instance GovernmentFn UnaryFunction) Merge.kif 16885-16885 GovernmentFn est une instance de function unaire
(range GovernmentFn Government) Merge.kif 16888-16888 Le domaine de GovernmentFn est une instance de gouvernement

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 26309-26309
(termFormat ChineseLanguage GovernmentFn "政府函数") chinese_format.kif 803-803
(termFormat ChineseTraditionalLanguage GovernmentFn "政府") domainEnglishFormat.kif 26308-26308
(termFormat EnglishLanguage GovernmentFn "government") domainEnglishFormat.kif 26307-26307

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 1939-1947
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))		 Government.kif 4636-4641
(=>
    (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 4472-4480
(=>
    (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 14213-14217
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader
            (GovernmentFn ?AREA)))
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?AREA)
            (agent ?LEADING ?PERSON))))		 Government.kif 2270-2278
(=>
    (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 1475-1486
(=>
    (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 736-745
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1418-1424
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1427-1431
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2152-2157
(=>
    (and
        (instance ?EVENT Election)
        (agent ?EVENT ?AGENT)
        (instance ?AREA GeopoliticalArea)
        (instance ?AGENT
            (GovernmentFn ?AREA)))
    (instance ?EVENT PoliticalProcess))		 Merge.kif 14232-14238
(=>
    (and
        (instance ?PERSON Human)
        (instance ?ROLE Position)
        (instance ?AREA GeopoliticalArea)
        (leaderPosition ?AREA ?ROLE)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?AREA)))
    (leader ?AREA ?PERSON))		 Government.kif 1449-1456
(=>
    (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
-------------------------


(<=>
    (instance ?C City)
    (instance
        (GovernmentFn ?C) CityGovernment))		 Mid-level-ontology.kif 9539-9541 Secteur g�opolitique est une instance de ville le gouvernment de secteur g�opolitique est une instance de CityGovernment
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 9532-9534 Secteur g�opolitique est une instance de Etat ou province le gouvernment de secteur g�opolitique est une instance de StateGovernment
(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))		 MilitaryProcesses.kif 2808-2820
(=>
    (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 4609-4618
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4447-4451
(=>
    (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 4431-4439
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1275-1280
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1269-1273
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))		 Government.kif 352-357
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))		 Government.kif 256-264
(=>
    (and
        (instance
            (ExecutiveBranchFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (executiveBranch
        (ExecutiveBranchFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 1298-1302
(=>
    (and
        (instance
            (JudiciaryFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (judicialBranch
        (JudiciaryFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2116-2120
(=>
    (and
        (instance
            (LegislatureFn ?AREA) Organization)
        (instance ?AREA GeopoliticalArea))
    (legislativeBranch
        (LegislatureFn ?AREA)
        (GovernmentFn ?AREA)))		 Government.kif 2012-2016
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (governmentType ?AREA ?TYPE))
    (attribute
        (GovernmentFn ?AREA) ?TYPE))		 Government.kif 142-146
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (leader ?AREA ?PERSON))
    (leader
        (GovernmentFn ?AREA) ?PERSON))		 Merge.kif 14219-14223
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))		 Government.kif 1308-1312
(=>
    (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 1475-1486
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1433-1437
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2323-2330
(=>
    (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 15259-15271
(=>
    (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
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2092-2097
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2086-2090
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1991-1995
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4575-4580

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4789-4789 DepartmentOfHomelandSecurity est une partie de l'organization le gouvernment de UnitedStates
(subOrganization USFoodAndDrugAdministration
    (GovernmentFn UnitedStates))		 VirusProteinAndCellPart.kif 1291-1291 USFoodAndDrugAdministration est une partie de l'organization le gouvernment de UnitedStates
(subOrganization USStateDepartment
    (GovernmentFn UnitedStates))		 Government.kif 2352-2352 USStateDepartment est une partie de l'organization le gouvernment de UnitedStates
(subOrganization UnitedStatesCongress
    (GovernmentFn UnitedStates))		 Government.kif 1911-1911 UnitedStatesCongress est une partie de l'organization le gouvernment de UnitedStates
(subOrganization UnitedStatesDepartmentOfInterior
    (GovernmentFn UnitedStates))		 Government.kif 4816-4816 UnitedStatesDepartmentOfInterior est une partie de l'organization le gouvernment de UnitedStates
(subOrganization UnitedStatesDepartmentOfState
    (GovernmentFn UnitedStates))		 Government.kif 4811-4811 UnitedStatesDepartmentOfState est une partie de l'organization le gouvernment de UnitedStates


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 is open source software produced by Articulate Software and its partners