No TPTP formula. May not be expressible in strict first order.	Government.kif 1534-1536	If a geopolitical area is an instance of geopolitical area, then the cabinet of the geopolitical area is a part of the organization the executive branch of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8512-8519	If an organization is an instance of organizational board, then there exist another organization and a process such that the organization is a part of the organization the other organization and the process is an instance of managing and the organization is an agent of the process and the other organization is a patient of the process
No TPTP formula. May not be expressible in strict first order.	People.kif 834-836	If an organization is an instance of Anglican church, then the organization is a part of the organization church of england
No TPTP formula. May not be expressible in strict first order.	People.kif 1155-1157	If an organization is an instance of Local church of latter day saints, then the organization is a part of the organization Church of Jesus Christ of latter day saints
No TPTP formula. May not be expressible in strict first order.	People.kif 893-895	If an organization is an instance of Local roman catholic church, then the organization is a part of the organization roman catholic church
No TPTP formula. May not be expressible in strict first order.	Government.kif 2187-2189	If an organization is an instance of the supreme court of a geopolitical area, then the organization is a part of the organization the judiciary of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6065-6070	If an organization is an instance of fleet marine force, then there exists another organization such that the other organization is an instance of marines- branch of service 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 1357-1373	If an agent is an instance of host nation, then there exist a process, an organization,, , a geopolitical area and a military organization such that the geopolitical area is an instance of nation and the military organization is an instance of military force and the geopolitical area is a military of area of the military organization and the organization is a part of the organization the military organization and the agent is not equal to the geopolitical area and the agent and the geopolitical area are not enemies of each other and the process is an instance of getting and the agent is an agent of the process and the organization is a patient of the process and the organization is an instance of military force and the organization is located at the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1959-1967	If an organization is an instance of bicameral legislature, then there exist another organization and a third organization such that the other organization is an instance of legislative chamber and the other organization is a part of the organization the organization and the third organization is an instance of legislative chamber and the third organization is a part of the organization the organization and the other organization is not equal to the third organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16684-16689	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1748-1753	If an organization is an instance of front desk, then there exists another organization such that traveler accommodation is an attribute of the other organization and the organization is a part of the organization the other organization

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