GovernmentOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3735-3737
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16854-16857
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16853-16853	Government organization is a subclass of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16848-16848	Paramilitary organization is disjoint from government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18050-18050	Private school is disjoint from government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4788-4788	Department of homeland security is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4013-4013	Federal Aviation Administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4758-4758	US customs and border protection is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28835-28835	Fema is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1287-1287	US food and drug administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4770-4770	United states department of agriculture is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4773-4773	United states department of defense is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4815-4815	United states department of interior is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4810-4810	United states department of state is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4780-4780	United states postal service is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1490-1490	The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9548-9548	Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4657-4657	Diplomatic organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16878-16878	Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1469-1469	Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3117-3117	Health department is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16899-16899	Judicial organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16842-16842	Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16895-16895	Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9695-9695	Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18046-18046	Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26321-26321	Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26320-26320	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2332-2338	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16872-16876	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16859-16864	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

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2808-2820	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 allies of each other
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16866-16870	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20515-20519	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16872-16876	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22615-22621	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2314-2321	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17917-17922	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: