GovernmentFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3739-3741
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15584-15588
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15582-15582	The number 1 argument of government is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15581-15581	Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15580-15580	Government is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15583-15583	The range of government is an instance of government

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 802-802
No TPTP formula. May not be expressible in strict first order.	english_format.kif 814-814
No TPTP formula. May not be expressible in strict first order.	english_format.kif 815-815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26289-26289
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 803-803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26288-26288
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26287-26287

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	If a form of government is an attribute of the government of a geopolitical area and the form of government is an instance of form of government, then the form of government is a government type of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1963-1971	If unicameral legislature is an attribute of an organization and a geopolitical area is a legislative branch of the organization and another organization is an instance of legislative chamber and the other organization is a part of the organization the government of the geopolitical area and a third organization is an instance of legislative chamber and the third organization is a part of the organization the government of the geopolitical area, then the other organization is equal to the third organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4638-4643	If an agent diplomatic representation type consul general for a government and a geopolitical area is an instance of city and the government is equal to the government of the geopolitical area, then the agent is diplomatic organization type consulate general for the government
No TPTP formula. May not be expressible in strict first order.	Government.kif 4474-4482	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	If a geopolitical area is an instance of geopolitical area and the government of the geopolitical area is an instance of national government, then the geopolitical area is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13074-13078	If a geopolitical area is an instance of geopolitical area and a human is a leader of the government of the geopolitical area, then the human is a leader of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2282-2290	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the government of the geopolitical area, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1499-1510	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 761-769	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 1442-1448	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the government of the geopolitical area, then the position is a leader position of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1451-1455	If a geopolitical area is an instance of nation and a position is a leader position of the government of the geopolitical area, then the position is a leader position of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2177-2182	If an organization is an instance of supreme court and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of nation, then the organization is an instance of the supreme court of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13093-13099	If a process is an instance of election and an agent is an agent of the process and a geopolitical area is an instance of geopolitical area and the agent is an instance of the government of the geopolitical area, then the process is an instance of political process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1473-1480	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the government of the geopolitical area, then the human is a leader of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7222-7224	A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7215-7217	A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government
No TPTP formula. May not be expressible in strict first order.	Government.kif 4611-4620	If a geopolitical area is diplomatic organization type a kind of organization for an agent and the geopolitical area is an instance of nation and the agent is an instance of geopolitical area, then there exists another organization such that the other organization is an instance of a kind of organization and the other organization is located at the agent and the other organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4449-4453	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4433-4441	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1299-1304	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1293-1297	If a geopolitical area is an executive branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 340-345	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 244-252	If a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, then there exists an organization such that the organization is an instance of parliament and the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1322-1326	If the executive branch of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an executive branch of the executive branch of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2141-2145	If the judiciary of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a judicial branch of the judiciary of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2036-2040	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a legislative branch of the legislature of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 142-146	If a geopolitical area is an instance of geopolitical area and a form of government is a government type of the geopolitical area, then the form of government is an attribute of the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13080-13084	If a geopolitical area is an instance of geopolitical area and a human is a leader of the geopolitical area, then the human is a leader of the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1332-1336	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the government of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1499-1510	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1457-1461	If a geopolitical area is an instance of nation and a position is a leader position of the geopolitical area, then the position is a leader position of the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2335-2342	If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10669-10681	If a process is an instance of political revolution and an entity is a patient of the process, then there exist another entity and a third entity such that the other entity is equal to the government of the entity holds during the beginning of the time of existence of the process and the third entity is equal to the government of the entity holds during the end of the time of existence of the process and the other entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2116-2121	If a geopolitical area is a judicial branch of an organization and the geopolitical area is an instance of geopolitical area and another organization is a part of the organization the organization, then the other organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2110-2114	If a geopolitical area is a judicial branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2015-2019	If a geopolitical area is a legislative branch of an organization and the geopolitical area is an instance of geopolitical area, then the organization is a part of the organization the government of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 4577-4582	If a geopolitical area is representative agent to agent a cognitive agent for an agent and the geopolitical area is an instance of nation and the cognitive agent is an instance of cognitive agent, then the government of the geopolitical area employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1548-1550	If a geopolitical area chief of state a position for a human, then the human holds the position of the position in the government of the geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 4791-4791	Department of homeland security is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 721-721	USFoodAndDrugAdministration is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 2364-2364	US state department is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 1935-1935	United states congress is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 4818-4818	United states department of interior is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order.	Government.kif 4813-4813	United states department of state is a part of the organization the government of united states

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: