| 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