subOrganization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3751-3753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16837-16840
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16835-16835	The number 1 argument of sub organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16836-16836	The number 2 argument of sub organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16834-16834	sub organization is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16833-16833	sub organization is a subrelation of sub collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25118-25118	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 810-810	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 549-549	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 554-554	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 823-823	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 322-322	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 486-486	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2090-2090	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 824-824	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 274-274	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 438-438	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 343-343	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 508-508	ancestor organization and sub organization are disjoint
No TPTP formula. May not be expressible in strict first order.	Government.kif 2022-2022	chamber of legislature is a subrelation of sub organization
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 550-550	chamber of legislature is a subrelation of sub organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55797-55797	chamber of legislature is a subrelation of sub organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55796-55796	chamber of legislature is a subrelation of sub organization
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55795-55795	chamber of legislature is a subrelation of sub organization

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1939-1947	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 4473-4481	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.	Mid-level-ontology.kif 19261-19276	If an organization is equal to the department of a kind of physical in another organization and the organization2 is a part of the organization the other organization and the organization is not equal to the organization2 and an entity is an instance of a kind of physical and the organization is interested in the entity and a real number is equal to the probability of the organization is an agent of another entity and the other entity2 is equal to the probability of the organization2 is an agent of the other entity, then the real number is greater than the other entity2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19319-19324	If an organization is equal to another organization is preventing a kind of physical and a kind of physical is a subclass of process and the organization is a part of the organization the other organization, then the organization inhibits the kind of physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 1275-1280	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 1475-1486	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 2153-2158	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 16783-16787	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.	MilitaryPersons.kif 382-387	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of air force, then joint forces air commander is a leader position of the other organization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 404-409	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of army, then joint forces land commander is a leader position of the other organization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 436-441	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of coast guard, then joint forces maritime commander is a leader position of the other organization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 428-433	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of Navy, then joint forces maritime commander is a leader position of the other organization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 457-462	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of special operations forces, then joint forces special operations commander is a leader position of the other organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1757	If an organization is an instance of joint forces and another organization is a part of the organization the organization and a position is a leader position of the other organization and the organizationCOMMANDER is a leader position of the organization, then the organization is subordinate position the position for the organizationCOMMANDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1736-1746	If an organization is an instance of joint forces and another organization is a part of the organization the organization and a third organization is a part of the organization the organization and the other organization is not equal to the third organization and the organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third 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.	Mid-level-ontology.kif 9226-9236	If an organization is an instance of security unit and the organization is a part of the organization another organization, then the organization is obliged to perform tasks of type there exists an entity such that the entity is an instance of maintaining and the organization is an agent of the entity and the other organization is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2092-2097	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.	Merge.kif 16789-16793	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

consequent

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.	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4610-4619	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 4620-4629	If an organization is diplomatic organization type another kind of organization for an agent and the organization is an instance of organization and the agent is an instance of geopolitical area, then there exists a third organization such that the third organization is an instance of another kind of organization and the third organization is located at the agent and the third organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4432-4440	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.	Hotel.kif 1127-1140	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1275-1280	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 1269-1273	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 1263-1267	If an organization is an executive branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	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.	MilitaryProcesses.kif 2641-2655	If a process is an instance of evacuating and an organization is an agent of the process and an agent experiences the process, then there exist another process and the other processA such that the other process is an instance of classifying and the other process is a subprocess of the process and the agent experiences the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2659-2675	If a process is an instance of evacuating and an organization is an agent of the process and the process originates at an object, then there exist another process and the other processA such that the other process is an instance of translocation and the other process is a subprocess of the process and the other process originates at the object and the other processA experiences the other process or the other processA is an agent of the other process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2623-2637	If a process is an instance of evacuating and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process and the agent experiences the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2605-2619	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2586-2601	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17161-17180	If a process is an instance of organizational merging and an entity is a patient of the process and another entity is a patient of the process and the entity is not equal to the other entity, then there doesn't exist a third entity such that the entity is a part of the organization the third entity and the other entity is a part of the organization the third entity holds during the beginning of the time of existence of the process and there exists a fourth entity such that the entity is a part of the organization the fourth entity and the other entity is a part of the organization the fourth entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2092-2097	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 2086-2090	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 2080-2084	If an organization is a judicial branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1985-1989	If an organization is a legislative branch of another organization and the organization is an instance of organization, then the other organization is a part of the organization the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1991-1995	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.	Military.kif 693-700	If a kind of military unit is a sub echelon of another kind of military unit and an organization is an instance of another kind of military unit, then there exists another organization such that the other organization is an instance of a kind of military unit and the organization is a part of the organization the other organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2559-2561	If an organization is a business unit of a business, then the organization is a part of the organization the business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9127-9135	If a military unit is a hostile forces of another military unit, then there exist a contest, a geopolitical area and another geopolitical area such that the contest is an instance of war and the geopolitical area participates in the contest and the other geopolitical area participates in the contest and the other military unit is a part of the organization the government of the geopolitical area and the military unit is a part of the organization the government of the other geopolitical area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5546-5546	Aetna is a part of the organization CVS
No TPTP formula. May not be expressible in strict first order.	Government.kif 3039-3039	Commission for social development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3041-3041	Commission on crime prevention and criminal justice is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3043-3043	Commission on human rights is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3045-3045	Commission on narcotics drugs is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3047-3047	Commission on population and development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3049-3049	Commission on science and technology for development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3051-3051	Commission on sustainable development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3053-3053	Commission on the status of women is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 4790-4790	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.	Government.kif 3055-3055	Economic and social commission for asia and the pacific is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	Economic and social commission for western asia is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3038-3038	Economic and social council is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3059-3059	Economic commission for africa is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3061-3061	Economic commission for europe is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3063-3063	Economic commission for latin america and the caribbean is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4460-4460	Fitbit is a part of the organization Google
No TPTP formula. May not be expressible in strict first order.	Government.kif 3065-3065	Food and agriculture organization is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 17-17	Google corporation is a part of the organization Alphabet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4564-4564	Holden Corporation is a part of the organization General Motors
No TPTP formula. May not be expressible in strict first order.	Government.kif 3066-3066	International atomic energy agency is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3067-3067	International bank for reconstruction and development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order.	Government.kif 3378-3378	International bank for reconstruction and development is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4281-4281	International bank for reconstruction and development is a part of the organization world bank group
No TPTP formula. May not be expressible in strict first order.	Government.kif 3068-3068	International center for secretariat of investment disputes is a part of the organization economic and social council

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: