Government - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Government ChineseLanguage "这是一个 GeopoliticalArea 的管治机构。")	chinese_format.kif 3738-3738
(documentation Government EnglishLanguage "The ruling body of a GeopoliticalArea.")	Merge.kif 15529-15529
(subclass Government GovernmentOrganization)	Merge.kif 15524-15524	subclass Government and GovernmentOrganization
(subclass Government LegalAgent)	Merge.kif 15527-15527	subclass Government and LegalAgent

appearance as argument number 2

(instance USStateDepartment Government)	Government.kif 2326-2326	instance USStateDepartment and Government
(range GovernmentFn Government)	Merge.kif 15534-15534	range GovernmentFn and Government
(subclass CityGovernment Government)	Mid-level-ontology.kif 8014-8014	subclass CityGovernment and Government
(subclass FederalHousingAdministration Government)	FinancialOntology.kif 1492-1492	subclass FederalHousingAdministration and Government
(subclass NationalGovernment Government)	Government.kif 103-103	subclass NationalGovernment and Government
(subclass StateGovernment Government)	Mid-level-ontology.kif 7994-7994	subclass StateGovernment and Government
(termFormat ChineseLanguage Government "政府")	chinese_format.kif 1070-1070
(termFormat EnglishLanguage Government "government")	english_format.kif 1356-1356

consequent

(<=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))	Merge.kif 15511-15516	instance Organization and GovernmentOrganization Organization instance Organization and Government subOrganization Organization and Organization
(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	instance Organization and GovernmentOrganization instance Organization and Government Organization instance Organization and Government subOrganization Organization and Organization
(=> (and (instance ?ATTRIBUTE PoliticoEconomicAttribute) (attribute ?GOVERNMENT ?ATTRIBUTE)) (instance ?GOVERNMENT Government))	Mid-level-ontology.kif 17348-17352	instance Attribute and PoliticoEconomicAttribute attribute Object and Attribute instance Object and Government
(=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission))))	Mid-level-ontology.kif 16396-16407	instance Process and SeizingProperty destination Process and Entity origin Process and Object instance Object and CognitiveAgent instance Entity and Government confersNorm Object, destination Process and Entity and Permission
(=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV))))))	Mid-level-ontology.kif 20442-20450	attribute CognitiveAgent and PoliticalFigure Collection instance Collection and Government member CognitiveAgent and Collection desires CognitiveAgent and member CognitiveAgent and Collection
(=> (holdsDuring ?T1 (attribute ?X GovernmentPerson)) (exists (?GOV) (and (instance ?GOV Government) (holdsDuring ?T1 (employs ?GOV ?X)))))	Mid-level-ontology.kif 20320-20325	holdsDuring TimePosition and attribute entity and GovernmentPerson Entity instance Entity and Government holdsDuring TimePosition and employs Entity and entity
(=> (instance ?Bond GovernmentBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government))))	FinancialOntology.kif 2355-2360	instance Certificate and GovernmentBond CognitiveAgent issuedBy Certificate and CognitiveAgent instance CognitiveAgent and Government
(=> (instance ?Bond MunicipalBond) (exists (?Agent) (and (instance ?Agent Government) (issuedBy ?Bond ?Agent))))	FinancialOntology.kif 2289-2294	instance Certificate and MunicipalBond CognitiveAgent instance CognitiveAgent and Government issuedBy Certificate and CognitiveAgent
(=> (instance ?Bond TreasuryBond) (exists (?Agent) (and (issuedBy ?Bond ?Agent) (instance ?Agent Government))))	FinancialOntology.kif 2388-2393	instance Certificate and TreasuryBond CognitiveAgent issuedBy Certificate and CognitiveAgent instance CognitiveAgent and Government
(=> (instance ?CHARGE LegalCharge) (exists (?GOV) (and (instance ?GOV Government) (agent ?CHARGE ?GOV))))	Mid-level-ontology.kif 13789-13794	instance Process and LegalCharge Agent instance Agent and Government agent Process and Agent
(=> (instance ?E Execution) (exists (?G) (and (instance ?G Government) (agent ?E ?G))))	Mid-level-ontology.kif 15979-15984	instance Process and Execution Agent instance Agent and Government agent Process and Agent
(=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government)))))	FinancialOntology.kif 1498-1503	instance Proposition and ConventionalMortgage Organization instance Organization and Government insured Proposition and Organization
(=> (instance ?ORG ServiceOrganization) (exists (?PROC ?GOV) (and (instance ?PROC RegulatoryProcess) (patient ?PROC ?ORG) (agent ?PROC ?GOV) (instance ?GOV Government))))	Mid-level-ontology.kif 8158-8165	instance Entity and ServiceOrganization Process Agent instance Process and RegulatoryProcess patient Process and Entity agent Process and Agent instance Agent and Government
(=> (instance ?P Prison) (hasPurpose ?P (exists (?C ?H ?G) (and (instance ?C Confining) (eventLocated ?C ?P) (patient ?C ?H) (instance ?H Human) (agent ?C ?G) (instance ?G Government)))))	Mid-level-ontology.kif 6407-6417	instance Physical and Prison hasPurpose Physical and entity entity and entity instance entity and Confining eventLocated entity and Physical patient entity and entity instance entity and Human agent entity and entity instance entity and Government
(=> (instance ?P PublicPark) (exists (?G) (and (instance ?G Government) (possesses ?G ?P))))	Mid-level-ontology.kif 7843-7848	instance Object and PublicPark Agent instance Agent and Government possesses Agent and Object
(=> (instance ?PARK Park) (exists (?GOV) (and (instance ?GOV Government) (possesses ?GOV ?PARK))))	Mid-level-ontology.kif 7824-7829	instance Object and Park Agent instance Agent and Government possesses Agent and Object
(=> (instance ?PROC PoliticalProcess) (exists (?POL) (and (or (instance ?POL Government) (exists (?GOV) (and (instance ?GOV Government) (member ?POL ?GOV)))) (or (agent ?PROC ?POL) (patient ?PROC ?POL)))))	Merge.kif 10045-10057	instance Process and PoliticalProcess Agent instance Agent and Government Collection instance Collection and Government member Agent and Collection agent Process and Agent patient Process and Agent
(=> (instance ?S Espionage) (exists (?GOV1 ?GOV2) (and (instance ?GOV1 Government) (instance ?GOV2 Government) (agent ?S ?GOV1) (patient ?S ?GOV2) (not (equal ?GOV1 ?GOV2)))))	Mid-level-ontology.kif 11571-11580	instance Process and Espionage Agent Entity instance Agent and Government instance Entity and Government agent Process and Agent patient Process and Entity equal Agent and Entity
(=> (instance ?Tax Tax) (exists (?Org) (and (instance ?Org Government) (agent ?Tax ?Org))))	FinancialOntology.kif 866-871	instance Process and Tax Agent instance Agent and Government agent Process and Agent
(=> (instance ?X GovernmentBuilding) (exists (?G) (and (instance ?G Government) (possesses ?G ?X))))	Mid-level-ontology.kif 20311-20316	instance Object and GovernmentBuilding Agent instance Agent and Government possesses Agent and Object

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

KB Term:			Term intersection

English Word: