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.	chinese_format.kif 3720-3724
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15488-15497
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15486-15486	Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15480-15480	Organization is a subclass of group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4656-4656	American institute in taiwan is an instance of organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1675-1675	NASDAQ is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2938-2938	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 16053-16053	The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1276-1276	The range of executive branch is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15056-15056	Business is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7313-7313	Care organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1332	Club is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8144-8144	Commission is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7268-7268	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 2818-2818	Cross-functional team is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2988-2988	Customer support is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15601-15601	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 15554-15554	Government organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1690-1690	Front desk is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2451-2451	International organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15594-15594	Judicial organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1878-1878	Legislative organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Music.kif 960-960	Marching band is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7283-7283	Media organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2716-2716	Metallurgical plant is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7296-7296	Nonprofit organization is a subclass of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8215-8215	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.	Mid-level-ontology.kif 16051-16051	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 16090-16090	The number 1 argument of DepartmentOfPreventingFn is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1715-1715	The number 1 argument of member is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1736-1736	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 2709-2709	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 21947-21947	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 21948-21948	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 2526-2526	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 21975-21975	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 21976-21976	The number 2 argument of ancestor organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2754	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 2012-2012	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 2013-2013	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 637-637	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 3529-3529	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 1774-1774	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 1235-1235	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 2929-2929	The number 2 argument of GMB is an instance of organization
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2958-2958	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 7263-7263	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 21953-21953	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 6797-6797	The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2048-2048	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 1954-1954	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 1663-1663	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 1728-1733	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 4589-4598	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 は組織 the organization の一部では %n
No TPTP formula. May not be expressible in strict first order.	Government.kif 4435-4440	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 4423-4427	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 4411-4415	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 18422-18431	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 1255-1259	If an organization is an executive branch of another organization and the organization is an instance of organization, then the other organization は組織 the organization の一部では %n
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 1290-1294	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 geopolitical area の government 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 2109-2113	If the judiciary of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government is a judicial branch of the judiciary of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2004-2008	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the geopolitical area の government is a legislative branch of the legislature of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1721-1726	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 1743-1749	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 1751-1757	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 2944-2948	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 10063-10071	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 1785-1789	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 10047-10055	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.	Government.kif 2442-2449	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 9994-10002	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10010-10018	If a process is an instance of leaving 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 a member of the entity holds during the beginning of the time of existence of the process and the agent is not a member of 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.	Mid-level-ontology.kif 13968-13973	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 14005-14010	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 9956-9965	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 1646-1652	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 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 6706-6715	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 12423-12434	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 20014-20021	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 18412-18420	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 1243-1247	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 20895-20902	If an entity is a coworker of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of organization and the third entity employs the other entity and the third entity employs the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2995-3000	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 3002-3012	If a physical is an instance of customer support, then the physical 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 1325-1330	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 13739-13746	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 2056-2060	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 1961-1965	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 1001-1005	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 937-941	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: