| 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 16874-16878 | |
| (domain GovernmentFn 1 GeopoliticalArea) | Merge.kif 16872-16872 | |
| (instance GovernmentFn PartialValuedRelation) | Merge.kif 16871-16871 | |
| (instance GovernmentFn UnaryFunction) | Merge.kif 16870-16870 | |
| (range GovernmentFn Government) | Merge.kif 16873-16873 |
| 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 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 14198-14202 | |
| (=> (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 14217-14223 | |
| (=> (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 9557-9559 | |
| (<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 9550-9552 | |
| (=> (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 14204-14208 | |
| (=> (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 15277-15289 | |
| (=> (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 | |
| (subOrganization USFoodAndDrugAdministration (GovernmentFn UnitedStates)) |
VirusProteinAndCellPart.kif 1291-1291 | |
| (subOrganization USStateDepartment (GovernmentFn UnitedStates)) |
Government.kif 2352-2352 | |
| (subOrganization UnitedStatesCongress (GovernmentFn UnitedStates)) |
Government.kif 1911-1911 | |
| (subOrganization UnitedStatesDepartmentOfInterior (GovernmentFn UnitedStates)) |
Government.kif 4816-4816 | |
| (subOrganization UnitedStatesDepartmentOfState (GovernmentFn UnitedStates)) |
Government.kif 4811-4811 |
|
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