No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	If a collection is an instance of organization and utilities is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	If a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 6375-6391	If a collection is an instance of organization and wholesale trade is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of selling and the entity is an instance of object and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 2563-2581	If a collection is an instance of organization and wood product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a corpuscular object, the process2 and the agent2 such that the agent is an instance of manufacture and the corpuscular object is an instance of wood or the corpuscular object is made of wood and the corpuscular object is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the corpuscular object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16631-16635	If a collection is an instance of organization and a physical is a member of the collection, then the physical is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1806-1812	If a human is an instance of human and an organization is an instance of organization and a position is an instance of position and the member role of the organization and the position is an attribute of the human, then the human holds the position of the position in the organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10780-10785	If a process is an instance of judicial process and an agent is an agent of the process and the agent is an instance of organization, then the agent is an instance of judicial organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16916-16923	If a process is an instance of labor striking and a cognitive agent is an agent of the process and the cognitive agent is an instance of human and an agent is a patient of the process and the agent is an instance of organization, then the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7068-7077	If an object is an instance of commercial unit and a physical is an instance of organization and the physical is located at the object, then there doesn't exist another physical such that the other physical is an instance of organization and the other physical is located at the object and the other physical is not equal to the physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 2118-2122	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 2023-2027	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.	Media.kif 3480-3484	If an organization has name a symbolic string and the organization is an instance of organization, then the organization is called the symbolic string
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	If an agent is representative agent to agent a cognitive agent for another agent and the agent is an instance of organization and the cognitive agent is an instance of cognitive agent, then the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2324-2329	If a kind of content bearing object is a subclass of party platform and an agent is the author of a kind of content bearing object and the agent is an instance of organization, then the agent is an instance of political party
No TPTP formula. May not be expressible in strict first order.	Government.kif 1332-1334	If the executive branch of an agent is an instance of organization, then the agent is an executive branch of the executive branch of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2151-2153	If the judiciary of a geopolitical area is an instance of organization, then 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 2046-2048	If the legislature of a geopolitical area is an instance of organization, then 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.	Merge.kif 16623-16629	If a collection is an instance of organization, then there exists a formula such that for all a physical if the physical is a member of the collection, then the physical has the purpose the formula

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