TreeView 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.	chinese_format.kif 3720-3724
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16418-16427
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16416-16416	Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16410-16410	Organization is a subclass of group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4725-4725	American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1754-1754	NASDAQ is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2989-2989	The range of agreement organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18151-18151	The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18192-18192	The range of Department of preventing fn is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1322-1322	The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15986-15986	Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7597-7597	Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 909-909	Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8410-8410	Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7551-7551	Communication organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Media.kif 1707-1707	Copyright authority is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2821-2821	Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2991-2991	Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16537-16537	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 16484-16484	Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1741-1741	Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2510-2510	International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16530-16530	Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1924-1924	Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Music.kif 964-964	Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7567-7567	Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2758-2758	Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7580-7580	Nonprofit organization 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.	Mid-level-ontology.kif 18149-18149	The number 1 argument of department is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18189-18189	The number 1 argument of Department of preventing fn is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1761-1761	The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1782-1782	The number 1 argument of member role is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2766-2766	The number 2 argument of accommodations provider is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2585-2585	The number 1 argument of aim of organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2757-2757	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 2058-2058	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 2059-2059	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 664-664	The number 1 argument of check-in time is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16689-16689	The number 3 argument of colleague is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3640-3640	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 1820-1820	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 1281-1281	The number 1 argument of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2966-2966	The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2995-2995	The number 2 argument of GMV is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7546-7546	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 7094-7094	The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2094-2094	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 2000-2000	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 1741-1741	The number 2 argument of listed on is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16820-16820	The number 1 argument of monetary wage is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17079-17079	The number 3 argument of occupies position is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Media.kif 3474-3474	The number 2 argument of organization name is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1631-1631	The number 1 argument of organization product type 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 1774-1779	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 4658-4667	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 4504-4509	If an agent is 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 4492-4496	If an agent is 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 4480-4484	If an agent is 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.	Mid-level-ontology.kif 20529-20538	If a human directed a motion picture and a process is an instance of film making and an 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, then film director is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1301-1305	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 345-350	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 1644-1650	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 1684-1690	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 1336-1340	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 2155-2159	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 2050-2054	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 1767-1772	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 1789-1795	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 1797-1803	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 2995-2999	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 10670-10678	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 an entity is a patient of the process, then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ the 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 1831-1835	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.	Merge.kif 10654-10662	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 an entity is a patient of the process, then the agent doesn't employ the entity holds during the beginning of the time of existence of the process and the agent employs the entity 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 10540-10548	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 an entity is a patient of the process, then the entity is not a member of the agent holds during the beginning of the time of existence of the process and the entity is a member of the agent 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 10561-10573	If a process is an instance of hiring and a cognitive agent is an instance of organization and the cognitive agent is an agent of the process and an entity is a patient of the process, then the cognitive agent expects there exists another entity such that the other entity is an instance of financial transaction and the cognitive agent is an agent of the other entity and the other entity ends up at the entity and the time of existence of the process happens earlier than the time of existence of the other entity will be true
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10550-10559	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 an entity is a patient of the process, then the agent employs the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 2501-2508	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 10525-10533	If a process is an instance of joining an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is not a member of the entity holds during the beginning of the time of existence of the process and the agent is a member of the entity holds during the end of the time of existence of the process

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 10487-10496	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 1692-1698	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 1882-1886	If an attribute is an instance of industry attribute and the attribute 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 7024-7033	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 13153-13164	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 a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20519-20527	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 3715-3719	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 3743-3747	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 1289-1293	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.	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 20347-20354	If a stationary artifact is an instance of building unit, then there exist an organization and an object such that the object is an instance of building and the organization is an instance of organization and the stationary artifact is a part of the object and members of the organization work at the stationary artifact
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2998-3003	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 3005-3015	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 902-907	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.	Mid-level-ontology.kif 15918-15925	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 2102-2106	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 2007-2011	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 1023-1027	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 951-955	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: