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 15409-15409
(subclass Government GovernmentOrganization)	Merge.kif 15404-15404	subclass Government and GovernmentOrganization
(subclass Government LegalAgent)	Merge.kif 15407-15407	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 15414-15414	range GovernmentFn and Government
(subclass CityGovernment Government)	Mid-level-ontology.kif 8034-8034	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 8014-8014	subclass StateGovernment and Government
(termFormat ChineseLanguage Government "政府")	chinese_format.kif 1070-1070	termFormat ChineseLanguage, Government and "政府"
(termFormat EnglishLanguage Government "government")	english_format.kif 1356-1356	termFormat EnglishLanguage, Government and "government"

consequent

(<=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))	Merge.kif 15391-15396	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 17322-17326	instance Entity and PoliticoEconomicAttribute attribute Object and Entity 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 16370-16381	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 20405-20413	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 20283-20288	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 2354-2359	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 2288-2293	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 2387-2392	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 13763-13768	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 15953-15958	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 8178-8185	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 6428-6438	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 7863-7868	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 7844-7849	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 9921-9933	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 11545-11554	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 20274-20279	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: