Organization - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 35-35	Organization is disjoint from human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16736-16740
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16726-16735
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16724-16724	Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16718-16718	Organization is a subclass of group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4661-4661	American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1677-1677	NASDA q is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2903-2903	The range of agreement organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1282-1282	The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Society.kif 114-114	AirlineAlliance is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16245-16245	Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7326-7326	Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1331-1331	Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8148-8148	Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7282-7282	Communication organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Media.kif 1697-1697	CopyrightAuthority is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2819-2819	Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2989-2989	Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16866-16866	Educational organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 17-17	Financial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16807-16807	Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1685-1685	Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2457-2457	International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16856-16856	Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1884-1884	Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Music.kif 982-982	Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7297-7297	Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2682-2682	Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7309-7309	Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8219-8219	Organizational board is a subclass of organization

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Government.kif 1721-1721	The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1742-1742	The number 1 argument of member role is an instance of organization
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1209-1209	The number 1 argument of PerDiemFn is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2702-2702	The number 2 argument of accommodations provider is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21511-21511	The number 1 argument of affiliated organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21512-21512	The number 2 argument of affiliated organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2532-2532	The number 1 argument of aim of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21539-21539	The number 1 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21540-21540	The number 2 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 371-371	The number 2 argument of basedIn is an instance of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2755-2755	The number 1 argument of business unit is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2018-2018	The number 1 argument of chamber of legislature is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2019-2019	The number 2 argument of chamber of legislature is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 633-633	The number 1 argument of check-in time is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3522-3522	The number 3 argument of customer representative is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1780-1780	The number 2 argument of election for organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1241	The number 1 argument of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Society.kif 209-209	The number 1 argument of foundingdate is an instance of organization
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2406-2406	The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7277-7277	The number 1 argument of headquarters of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21517-21517	The number 1 argument of ideological affiliation of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6813-6813	The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2054-2054	The number 1 argument of judicial branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1960-1960	The number 1 argument of legislative branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1665-1665	The number 2 argument of listed on is an instance of organization

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 1734-1739	If the member of an organization is an attribute of an object and the object is an instance of agent and the organization is an instance of organization, then the object is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4595-4604	If an organization 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 4441-4446	If an agent diplomatic representative in role a human for a position with another agent and the agent is an instance of organization and the other agent is an instance of geopolitical area, then the other agent is an agent operates in area of the agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4429-4433	If an agent diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the agent employs the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4417-4421	If an agent diplomatic representative in role a human for a position with another agent and the agent is an instance of organization, then the human holds the position of the position in an organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1261-1265	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 333-338	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1637-1643	If a kind of object is an industry product type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of object is an organization product type of the organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1677-1683	If a kind of intentional process is an industry service type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of intentional process is an organization service type of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1296-1300	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 2115-2119	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 2010-2014	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 1727-1732	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, then the member of the organization is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1749-1755	If an object 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 object, then the member of the organization is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1757-1763	If an object 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 object, then the object is a member of the organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2909-2913	If an agreement is an instance of international agreement and the agreement organization of the agreement is an instance of organization, then the agreement organization of the agreement is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10559-10567	If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and a cognitive agent is a patient of the process, then the agent employs the cognitive agent holds during the beginning of the time of existence of the process and the agent doesn't employ the cognitive agent 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 1791-1795	If an organization is an instance of organization and the member of the organization is an election for position of an election, then the organization is an election for organization of the election
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 946-955	If an object is an instance of Hotel-Organization and an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then PrivateRate is an attribute of the object or PrivateRate is not an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10542-10550	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and a cognitive agent is a patient of the process, then the agent doesn't employ the cognitive agent holds during the beginning of the time of existence of the process and the agent employs the cognitive agent 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 2448-2455	If a process is an instance of joining an organization and an agent is an instance of agent and the agent is an agent of the process and a collection is a patient of the process and the process is an instance of organization, then the agent is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10485-10493	If a process is an instance of joining an organization and a collection is an instance of organization and an agent is an agent of the process and the collection is a patient of the process, then the agent is not a member of the collection holds during the beginning of the time of existence of the process and the agent is a member of the collection holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10502-10510	If a process is an instance of leaving an organization and a collection is an instance of organization and an agent is an agent of the process and the collection is a patient of the process, then the agent is a member of the collection holds during the beginning of the time of existence of the process and the agent is not a member of the collection holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13680-13685	If a time interval is an instance of beginning operations and an agent is an instance of organization and the agent is an agent of the time interval, then the time interval starts the time of existence of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13717-13722	If a time interval is an instance of ceasing operations and an agent is an instance of organization and the agent is an agent of the time interval, then the time interval finishes the time of existence of the agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10444-10453	If a process is an instance of organizational process and an agent is an agent of the process, then the agent is an instance of organization or there exists a collection such that the collection is an instance of organization and the agent is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Government.kif 1652-1658	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Media.kif 1884-1888	If an entity is an instance of industry attribute and the entity is an attribute of an object, then the object is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6722-6731	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.	Merge.kif 13192-13203	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all an object if the object is a member of the agent, then the object is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19551-19558	If business executive is an attribute of an agent, then there exist an entity and a process such that the process is an instance of managing and the entity is an instance of organization and the entity is a patient of the process and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17995-18003	If a human directed a motion picture, then there exist a process and an agent such that the process is an instance of film making and the agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	If an economic attribute is an economy type of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3707-3711	If a kind of time interval is equal to the fiscal year of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3733-3737	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1249-1253	If an agent is an executive branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Society.kif 214-221	If an organization was founded on a day, then there exists a process such that the process is an instance of founding and the organization is an instance of organization and the organization experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	If a form of government is a government type of an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20459-20466	If a human is a coworker of another human holds during an entity, then there exists an agent such that the agent is an instance of organization and the agent employs the other human and the agent employs the human holds during the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2996-3001	If an organization is an instance of customer support, then there exists a Business such that the Business is an instance of organization and the organization is a business unit of the Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3003-3013	If an organization is an instance of customer support, then the organization has purpose there exist a cognitive agent, another cognitive agent and a Business such that the cognitive agent is an instance of cognitive agent and the other cognitive agent is an instance of cognitive agent and the Business is an instance of organization and the organization is a business unit of the Business and the cognitive agent is a member of the organization and the cognitive agent customer representative the other cognitive agent for the Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1324-1329	If a process is an instance of founding, then there exists an entity such that the entity is an instance of organization and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Communications.kif 369-377	If a collection is an instance of broadcast network, then there exists an agent such that the agent is an instance of organization and for all an object if the object is a member of the collection, then the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1264-1274	If a content bearing physical is an instance of OutOfPolicyAccom, then there exist an organization, a policy,, , a proposition and another proposition such that the organization is an instance of organization and the policy is an instance of policy and the organization enacts policy the policy and the policy contains information the proposition and the content bearing physical contains information the other proposition and the other proposition is not a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13452-13459	If a process is an instance of resolution, then there exist an agent and another process such that the agent is an instance of organization and the agent is an agent of the process and the process is a subprocess of the other process and the other process is an instance of formal meeting
No TPTP formula. May not be expressible in strict first order.	Government.kif 2062-2066	If an agent is a judicial branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1967-1971	If an agent is a legislative branch of an organization, then the agent is an instance of organization or the agent is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1008-1012	If a time duration is a suffrage age maximum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 944-948	If a time duration is a suffrage age minimum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: