| 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 16840-16844 | |
| (domain GovernmentFn 1 GeopoliticalArea) | Merge.kif 16838-16838 | |
| (instance GovernmentFn PartialValuedRelation) | Merge.kif 16837-16837 | |
| (instance GovernmentFn UnaryFunction) | Merge.kif 16836-16836 | |
| (range GovernmentFn Government) | Merge.kif 16839-16839 |
| 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 26326-26326 | |
| (termFormat ChineseLanguage GovernmentFn "政府函数") | chinese_format.kif 803-803 | |
| (termFormat ChineseTraditionalLanguage GovernmentFn "政府") | domainEnglishFormat.kif 26325-26325 | |
| (termFormat EnglishLanguage GovernmentFn "government") | domainEnglishFormat.kif 26324-26324 |
| 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 4637-4642 | |
| (=> (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 4473-4481 | |
| (=> (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 14164-14168 | |
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON)))) |
Government.kif 2271-2279 | |
| (=> (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 2153-2158 | |
| (=> (and (instance ?EVENT Election) (agent ?EVENT ?AGENT) (instance ?AREA GeopoliticalArea) (instance ?AGENT (GovernmentFn ?AREA))) (instance ?EVENT PoliticalProcess)) |
Merge.kif 14183-14189 | |
| (=> (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 9559-9561 | |
| (<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 9552-9554 | |
| (=> (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 2805-2817 | |
| (=> (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 4610-4619 | |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON)) |
Government.kif 4448-4452 | |
| (=> (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 4432-4440 | |
| (=> (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 2117-2121 | |
| (=> (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 14170-14174 | |
| (=> (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 2324-2331 | |
| (=> (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 15269-15281 | |
| (=> (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 4576-4581 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (subOrganization DepartmentOfHomelandSecurity (GovernmentFn UnitedStates)) |
Government.kif 4790-4790 | |
| (subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates)) |
VirusProteinAndCellPart.kif 1284-1284 | |
| (subOrganization USStateDepartment (GovernmentFn UnitedStates)) |
Government.kif 2353-2353 | |
| (subOrganization UnitedStatesCongress (GovernmentFn UnitedStates)) |
Government.kif 1911-1911 | |
| (subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates)) |
Government.kif 4817-4817 | |
| (subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates)) |
Government.kif 4812-4812 |
|
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