GovernmentOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GovernmentOrganization ChineseLanguage "GovernmentOrganization 是官方 Organization 的类别，它和 GeopoliticalArea 的政府在某程度上有关联。它可以是一个政府的 subOrganization。")	chinese_format.kif 3735-3737
(documentation GovernmentOrganization EnglishLanguage "GovernmentOrganization is the class of official Organizations that are concerned with the government of a GeopoliticalArea at some level. They may be a subOrganization of a government.")	Merge.kif 16775-16778
(subclass GovernmentOrganization Organization)	Merge.kif 16774-16774	Government organization is a subclass of organization

appearance as argument number 2

(disjoint ParamilitaryOrganization GovernmentOrganization)	Merge.kif 16769-16769	Paramilitary organization is disjoint from government organization
(disjoint PrivateSchool GovernmentOrganization)	Mid-level-ontology.kif 17591-17591	Private school is disjoint from government organization
(instance DepartmentOfHomelandSecurity GovernmentOrganization)	Government.kif 4789-4789	Department of homeland security is an instance of government organization
(instance FederalAviationAdministration GovernmentOrganization)	Transportation.kif 4007-4007	Federal Aviation Administration is an instance of government organization
(instance USCustomsAndBorderProtection GovernmentOrganization)	Government.kif 4759-4759	US customs and border protection is an instance of government organization
(instance USFEMA GovernmentOrganization)	Mid-level-ontology.kif 28031-28031	Fema is an instance of government organization
(instance USFoodAndDrugAdministration GovernmentOrganization)	VirusProteinAndCellPart.kif 1280-1280	US food and drug administration is an instance of government organization
(instance UnitedStatesDepartmentOfAgriculture GovernmentOrganization)	Government.kif 4771-4771	United states department of agriculture is an instance of government organization
(instance UnitedStatesDepartmentOfDefense GovernmentOrganization)	Government.kif 4774-4774	United states department of defense is an instance of government organization
(instance UnitedStatesDepartmentOfInterior GovernmentOrganization)	Government.kif 4816-4816	United states department of interior is an instance of government organization
(instance UnitedStatesDepartmentOfState GovernmentOrganization)	Government.kif 4811-4811	United states department of state is an instance of government organization
(instance UnitedStatesPostalService GovernmentOrganization)	Government.kif 4781-4781	United states postal service is an instance of government organization
(range CabinetFn GovernmentOrganization)	Government.kif 1490-1490	The range of cabinet is an instance of government organization
(range JudiciaryFn GovernmentOrganization)	Government.kif 2101-2101	The range of judiciary is an instance of government organization
(subclass CoastGuard GovernmentOrganization)	Mid-level-ontology.kif 9115-9115	Coast guard is a subclass of government organization
(subclass DiplomaticOrganization GovernmentOrganization)	Government.kif 4658-4658	Diplomatic organization is a subclass of government organization
(subclass Government GovernmentOrganization)	Merge.kif 16799-16799	Government is a subclass of government organization
(subclass GovernmentCabinet GovernmentOrganization)	Government.kif 1469-1469	Government cabinet is a subclass of government organization
(subclass HealthDepartment GovernmentOrganization)	Medicine.kif 3104-3104	Health department is a subclass of government organization
(subclass MilitaryOrganization GovernmentOrganization)	Merge.kif 16763-16763	Military organization is a subclass of government organization
(subclass PoliceOrganization GovernmentOrganization)	Merge.kif 16816-16816	Police organization is a subclass of government organization
(subclass PublicLibrary GovernmentOrganization)	Mid-level-ontology.kif 9262-9262	Public library is a subclass of government organization
(subclass PublicSchool GovernmentOrganization)	Mid-level-ontology.kif 17587-17587	Public school is a subclass of government organization
(termFormat ChineseLanguage GovernmentOrganization "政府组织")	domainEnglishFormat.kif 26338-26338	Public school is a subclass of government organization
(termFormat ChineseTraditionalLanguage GovernmentOrganization "政府組織")	domainEnglishFormat.kif 26337-26337	Public school is a subclass of government organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
(=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG))	Government.kif 2333-2339	If a cognitive agent is an instance of political pressure group and an area of concern is an organizational objective of the cognitive agent and an agent is an instance of government organization and the area of concern is an organizational objective of the agent, then the cognitive agent is interested in the agent
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 2047-2052	If an organization is an instance of judicial organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 1892-1897	If an organization is an instance of legislative organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Merge.kif 16793-16797	If an organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))	Merge.kif 16780-16785	If an organization is an instance of government organization, then there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization

consequent

(=> (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	If blue force controlled is an attribute of an object and the object is an instance of object, then there exists an organization such that the organization is an instance of government organization and the organization possesses the object and the organization is a part of the organization the government of united states or the organization and the government of united states are %m allies of each other
(=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?BRANCH GovernmentOrganization))	Government.kif 1257-1261	If an agent is an executive branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization))	Merge.kif 16787-16791	If an organization is an instance of government and another organization is a part of the organization the organization, then the other organization is an instance of government organization
(=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization))	Mid-level-ontology.kif 20033-20037	If a position is an instance of government position and a human holds the position of the position in the positionRG, then the positionRG is an instance of government organization
(=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 2047-2052	If an organization is an instance of judicial organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Government.kif 1892-1897	If an organization is an instance of legislative organization and the organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (and (judicialBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 2074-2078	If an agent is a judicial branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
(=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization))	Government.kif 1979-1983	If an agent is a legislative branch of an organization and the agent is an instance of geopolitical area, then the organization is an instance of government organization
(=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization))	Merge.kif 16793-16797	If an organization is a part of the organization another organization and the other organization is an instance of government organization, then the organization is an instance of government organization
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON))))	Mid-level-ontology.kif 22087-22093	If judge is an attribute of a cognitive agent, then there exists an agent such that the agent is an instance of judicial organization and the agent is an instance of government organization and the agent employs the cognitive agent
(=> (instance ?GROUP PoliticalPressureGroup) (exists (?REQ ?ORG) (and (instance ?REQ Requesting) (agent ?REQ ?GROUP) (instance ?ORG GovernmentOrganization) (patient ?REQ ?ORG))))	Government.kif 2315-2322	If an agent is an instance of political pressure group, then there exist a process and an entity such that the process is an instance of requesting and the agent is an agent of the process and the entity is an instance of government organization and the entity is a patient of the process
(=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG))))	Mid-level-ontology.kif 17458-17463	If a certificate is an instance of license, then there exists a cognitive agent such that the cognitive agent is an instance of government organization and the cognitive agent is an issued by of the certificate

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: