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
-------------------------


s__documentation(s__GovernmentFn__m,s__ChineseLanguage,'(GovernmentFn ?AREA)表示 GeopoliticalArea ?AREA 的 Government。例如:(&%GovernmentFn UnitedStates)表示美国的联邦政府, (GovernmentFn PuertoRico)表示波多黎各联邦的政府。')

Merge.kif 16932-16934
s__documentation(s__GovernmentFn__m,s__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 16927-16931
s__domain(s__GovernmentFn__m,1,s__GeopoliticalArea)

Merge.kif 16925-16925
s__instance(s__GovernmentFn__m,s__PartialValuedRelation)

Merge.kif 16924-16924
s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 16923-16923
s__range(s__GovernmentFn__m,s__Government)

Merge.kif 16926-16926

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


s__format(s__ChineseLanguage,s__GovernmentFn__m,'%1 的 Government')

chinese_format.kif 802-802
s__format(s__EnglishLanguage,s__GovernmentFn__m,'the government of %1')

english_format.kif 493-493
s__format(s__FrenchLanguage,s__GovernmentFn__m,'le gouvernment de %1')

french_format.kif 482-482
s__format(s__PortugueseLanguage,s__GovernmentFn__m,'o governo de %1')

portuguese_format.kif 434-434
s__termFormat(s__ChineseLanguage,s__GovernmentFn__m,'政府函数')

chinese_format.kif 803-803
s__termFormat(s__EnglishLanguage,s__GovernmentFn__m,'government')

domainEnglishFormat.kif 4804-4804

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


( ! [V__AREA,V__TYPE] :
   ((s__attribute(s__GovernmentFn(V__AREA)
    ,V__TYPE)
   &
   s__instance(V__TYPE,s__FormOfGovernment))
=>
s__governmentType(V__AREA,V__TYPE))
)

Government.kif 148-152
( ! [V__ORG,V__AREA,V__CHAMBER1,V__CHAMBER2] :
   ((s__attribute(V__ORG,s__UnicameralLegislature) &
       s__legislativeBranch(V__ORG,V__AREA)
     &
     s__instance(V__CHAMBER1,s__LegislativeChamber) &
     s__subOrganization(V__CHAMBER1,s__GovernmentFn(V__AREA))
&
s__instance(V__CHAMBER2,s__LegislativeChamber) &
s__subOrganization(V__CHAMBER2,s__GovernmentFn(V__AREA)))
=>
(V__CHAMBER1 = V__CHAMBER2))
)

Government.kif 1937-1945
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2,V__ORG] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Nation) &
     s__instance(V__ORG,s__DiplomaticOrganization) &
     s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
&
s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)
&
s__instance(V__AGENT2,s__GeopoliticalArea))
=>
s__agentOperatesInArea(V__ORG,V__AGENT2))
)

Government.kif 4448-4456
( ! [V__AREA] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__instance(s__GovernmentFn(V__AREA)
    ,s__NationalGovernment))
   =>
   s__instance(V__AREA,s__Nation))
)

Government.kif 121-125
( ! [V__AREA,V__PERSON] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__leader(s__GovernmentFn(V__AREA)
    ,V__PERSON))
=>
s__leader(V__AREA,V__PERSON))
)

Merge.kif 14007-14011
( ! [V__AREA,V__PERSON] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__occupiesPosition(V__PERSON,s__Leader,s__GovernmentFn(V__AREA)))
=>
(? [V__LEADING] :
   (s__instance(V__LEADING,s__Guiding) &
     s__patient(V__LEADING,V__AREA)
   &
   s__agent(V__LEADING,V__PERSON))))
)

Government.kif 2256-2264
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
( ! [V__COUNTRY,V__PERSON,V__ROLE] :
   ((s__instance(V__COUNTRY,s__Nation) &
       s__leader(V__COUNTRY,V__PERSON)
     &
     s__instance(V__ROLE,s__Position) &
     s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__COUNTRY)))
=>
s__leaderPosition(V__COUNTRY,V__ROLE))
)

Government.kif 1416-1422
( ! [V__COUNTRY,V__ROLE] :
   ((s__instance(V__COUNTRY,s__Nation) &
       s__leaderPosition(s__GovernmentFn(V__COUNTRY)
    ,V__ROLE))
=>
s__leaderPosition(V__COUNTRY,V__ROLE))
)

Government.kif 1425-1429
( ! [V__COURT,V__COUNTRY] :
   ((s__instance(V__COURT,s__SupremeCourt) &
       s__subOrganization(V__COURT,s__GovernmentFn(V__COUNTRY))
   &
   s__instance(V__COUNTRY,s__Nation))
=>
s__instance(V__COURT,s__SupremeCourtFn(V__COUNTRY)))
)

Government.kif 2151-2156
( ! [V__EVENT,V__AGENT,V__AREA] :
   ((s__instance(V__EVENT,s__Election) &
       s__agent(V__EVENT,V__AGENT)
     &
     s__instance(V__AREA,s__GeopoliticalArea) &
     s__instance(V__AGENT,s__GovernmentFn(V__AREA)))
=>
s__instance(V__EVENT,s__PoliticalProcess))
)

Merge.kif 14026-14032
( ! [V__PERSON,V__ROLE,V__AREA] :
   ((s__instance(V__PERSON,s__Human) &
       s__instance(V__ROLE,s__Position) &
       s__instance(V__AREA,s__GeopoliticalArea) &
       s__leaderPosition(V__AREA,V__ROLE)
     &
     s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__AREA)))
=>
s__leader(V__AREA,V__PERSON))
)

Government.kif 1447-1454

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


( ! [V__C] :
   (s__instance(V__C,s__City) <=>
     s__instance(s__GovernmentFn(V__C)
  ,s__CityGovernment))
)

Mid-level-ontology.kif 8036-8038
( ! [V__STATE] :
   (s__instance(V__STATE,s__StateOrProvince) <=>
     s__instance(s__GovernmentFn(V__STATE)
  ,s__StateGovernment))
)

Mid-level-ontology.kif 8029-8031
( ! [V__AGENT1,V__TYPE,V__AGENT2] :
   ((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Nation) &
     s__instance(V__AGENT2,s__GeopoliticalArea))
   =>
   (? [V__ORG] :
     (s__instance(V__ORG,V__TYPE)
     &
     s__located(V__ORG,V__AGENT2)
   &
   s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1)))))
)

Government.kif 4585-4594
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__GeopoliticalArea))
   =>
   s__employs(s__GovernmentFn(V__AGENT1)
,V__PERSON))
)

Government.kif 4423-4427
( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] :
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Nation))
   =>
   (? [V__ORG] :
     (s__instance(V__ORG,s__DiplomaticOrganization) &
       s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
   &
   s__occupiesPosition(V__PERSON,V__POSITION,V__ORG))))
)

Government.kif 4407-4415
( ! [V__BRANCH,V__AREA,V__ORG] :
   ((s__executiveBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea) &
     s__subOrganization(V__ORG,V__BRANCH))
=>
s__subOrganization(V__ORG,s__GovernmentFn(V__AREA)))
)

Government.kif 1273-1278
( ! [V__BRANCH,V__AREA] :
   ((s__executiveBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__subOrganization(V__BRANCH,s__GovernmentFn(V__AREA)))
)

Government.kif 1267-1271
( ! [V__AGENT,V__TYPE] :
   ((s__governmentType(V__AGENT,V__TYPE)
     &
     s__subAttribute(V__TYPE,s__TheocraticGovernment) &
     s__instance(V__AGENT,s__GeopoliticalArea))
   =>
   s__instance(s__GovernmentFn(V__AGENT)
,s__ReligiousOrganization))
)

Government.kif 340-345
( ! [V__PLACE,V__TYPE] :
   ((s__governmentType(V__PLACE,V__TYPE)
     &
     s__instance(V__PLACE,s__GeopoliticalArea) &
     s__subAttribute(V__TYPE,s__ParliamentaryGovernment))
   =>
   (? [V__ORG] :
     (s__instance(V__ORG,s__Parliament) &
       s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE)))))
)

Government.kif 244-252
( ! [V__AREA] :
   ((s__instance(s__ExecutiveBranchFn(V__AREA)
    ,s__Organization) &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__executiveBranch(s__ExecutiveBranchFn(V__AREA)
,s__GovernmentFn(V__AREA)))
)

Government.kif 1296-1300
( ! [V__AREA] :
   ((s__instance(s__JudiciaryFn(V__AREA)
    ,s__Organization) &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__judicialBranch(s__JudiciaryFn(V__AREA)
,s__GovernmentFn(V__AREA)))
)

Government.kif 2115-2119
( ! [V__AREA] :
   ((s__instance(s__LegislatureFn(V__AREA)
    ,s__Organization) &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__legislativeBranch(s__LegislatureFn(V__AREA)
,s__GovernmentFn(V__AREA)))
)

Government.kif 2010-2014
( ! [V__AREA,V__TYPE] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__governmentType(V__AREA,V__TYPE))
   =>
   s__attribute(s__GovernmentFn(V__AREA)
,V__TYPE))
)

Government.kif 142-146
( ! [V__AREA,V__PERSON] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__leader(V__AREA,V__PERSON))
   =>
   s__leader(s__GovernmentFn(V__AREA)
,V__PERSON))
)

Merge.kif 14013-14017
( ! [V__AREA,V__PERSON] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__occupiesPosition(V__PERSON,s__Leader,V__AREA))
   =>
   s__leader(s__GovernmentFn(V__AREA)
,V__PERSON))
)

Government.kif 1306-1310
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
( ! [V__COUNTRY,V__ROLE] :
   ((s__instance(V__COUNTRY,s__Nation) &
       s__leaderPosition(V__COUNTRY,V__ROLE))
   =>
   s__leaderPosition(s__GovernmentFn(V__COUNTRY)
,V__ROLE))
)

Government.kif 1431-1435
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11492-11504
( ! [V__UW,V__AGENT,V__POPULACE,V__NATION] :
   ((s__instance(V__UW,s__UnconventionalWarfare) &
       s__agent(V__UW,V__AGENT)
     &
     s__patient(V__UW,V__POPULACE)
   &
   (s__member(V__POPULACE,s__ResidentFn(V__NATION))
|
s__subCollection(V__POPULACE,s__ResidentFn(V__NATION))))
=>
(? [V__CONTEST] :
(s__instance(V__CONTEST,s__Contest) &
s__agent(V__CONTEST,V__POPULACE)
&
s__agent(V__CONTEST,s__GovernmentFn(V__NATION)))))
)

MilitaryProcesses.kif 163-174
( ! [V__BRANCH,V__AREA,V__ORG] :
   ((s__judicialBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea) &
     s__subOrganization(V__ORG,V__BRANCH))
=>
s__subOrganization(V__ORG,s__GovernmentFn(V__AREA)))
)

Government.kif 2090-2095
( ! [V__BRANCH,V__AREA] :
   ((s__judicialBranch(V__BRANCH,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__subOrganization(V__BRANCH,s__GovernmentFn(V__AREA)))
)

Government.kif 2084-2088
( ! [V__ORG,V__AREA] :
   ((s__legislativeBranch(V__ORG,V__AREA)
     &
     s__instance(V__AREA,s__GeopoliticalArea))
   =>
   s__subOrganization(V__ORG,s__GovernmentFn(V__AREA)))
)

Government.kif 1989-1993
( ! [V__SENDER,V__REP,V__RECEIVER] :
   ((s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
     &
     s__instance(V__SENDER,s__Nation) &
     s__instance(V__REP,s__CognitiveAgent))
   =>
   s__employs(s__GovernmentFn(V__SENDER)
,V__REP))
)

Government.kif 4551-4556
( ! [V__AREA,V__POSITION,V__PERSON] :
   (s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
   =>
   s__occupiesPosition(V__PERSON,V__POSITION,s__GovernmentFn(V__AREA)))
)

Government.kif 1522-1524

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__subOrganization(s__DepartmentOfHomelandSecurity,s__GovernmentFn(s__UnitedStates))

Government.kif 4764-4764
s__subOrganization(s__USStateDepartment,s__GovernmentFn(s__UnitedStates))

Government.kif 2338-2338
s__subOrganization(s__UnitedStatesCongress,s__GovernmentFn(s__UnitedStates))

Government.kif 1909-1909
s__subOrganization(s__UnitedStatesDepartmentOfInterior,s__GovernmentFn(s__UnitedStates))

Government.kif 4791-4791
s__subOrganization(s__UnitedStatesDepartmentOfState,s__GovernmentFn(s__UnitedStates))

Government.kif 4786-4786


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners