TreeView Knowledge Base Browser - GovernmentOrganization

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 16701-16704
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16700-16700	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 16695-16695	Paramilitary organization is disjoint from government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16662-16662	Private school is disjoint from government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4827-4827	Department of homeland security is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3107-3107	Federal Aviation Administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4797-4797	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 26924-26924	Fema is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1278-1278	US food and drug administration is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4809-4809	United states department of agriculture is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4812-4812	United states department of defense is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4854-4854	United states department of interior is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4849-4849	United states department of state is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4819-4819	United states postal service is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1528	The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2139-2139	The range of judiciary is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8341-8341	Coast guard is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4696-4696	Diplomatic organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16725-16725	Government is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1507-1507	Government cabinet is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3116-3116	Health department is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16689-16689	Military organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16742-16742	Police organization is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8488-8488	Public library is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16658-16658	Public school is a subclass of government organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26310-26310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26309-26309

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 2371-2377	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 2085-2090	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 1930-1935	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 16719-16723	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 16706-16711	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.	Government.kif 1295-1299	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 16713-16717	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 18943-18947	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 2085-2090	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 1930-1935	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 2112-2116	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 2017-2021	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 16719-16723	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 20997-21003	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 2353-2360	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 16529-16534	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: