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	Organizacao e' disjunto de Humano
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 16612-16621
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16610-16610	Organizacao e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16604-16604	Organizacao e' uma sub-classe de Grupo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4725-4725	AmericanInstituteInTaiwan e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5591-5591	BlueCrossBlueShield e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1740-1740	NASDAQ e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3057-3057	O contra-dominio de AgreementOrganizationFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18325-18325	O contra-dominio de DepartmentOfFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18397-18397	O contra-dominio de DepartmentOfPreventingFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1322-1322	O contra-dominio de ExecutiveBranchFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16180-16180	Business e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7624-7624	CareOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 942-942	Club e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8437-8437	Commission e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7578-7578	CommunicationOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Media.kif 1707-1707	CopyrightAuthority e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2611-2611	CrossFunctionalTeam e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2781-2781	CustomerSupport e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16731-16731	Organizacao Educacional e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 17-17	FinancialOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16678-16678	GovernmentOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1741-1741	HotelFrontDesk e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2510-2510	InternationalOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16724-16724	JudicialOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1924-1924	LegislativeOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Music.kif 966-966	MarchingBand e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7594-7594	MediaOrganization e' uma sub-classe de Organizacao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2754-2754	MetallurgicalPlant e' uma sub-classe de Organizacao

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 18323-18323	O argumento numero 1 de DepartmentOfFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18394-18394	O argumento numero 1 de DepartmentOfPreventingFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1761-1761	O argumento numero 1 de MemberFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1782-1782	O argumento numero 1 de MemberRoleFn e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2766-2766	O argumento numero 2 de accommodationProvider e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24140-24140	O argumento numero 1 de affiliatedOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24141-24141	O argumento numero 2 de affiliatedOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2585-2585	O argumento numero 1 de aimOfOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24168-24168	O argumento numero 1 de ancestorOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24169-24169	O argumento numero 2 de ancestorOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2547-2547	O argumento numero 1 de businessUnit e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2058-2058	O argumento numero 1 de chamberOfLegislature e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2059-2059	O argumento numero 2 de chamberOfLegislature e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 664-664	O argumento numero 1 de checkInTime e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16833-16833	O argumento numero 3 de colleague e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3630-3630	O argumento numero 3 de customerRepresentative e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1820-1820	O argumento numero 2 de electionForOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1281-1281	O argumento numero 1 de executiveBranch e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2965-2965	O argumento numero 2 de grossMerchandiseBoughtInPeriod e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2994-2994	O argumento numero 2 de grossMerchandiseSoldInPeriod e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7573-7573	O argumento numero 1 de headquartersOfOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24146-24146	O argumento numero 1 de ideologicalAffiliationOfOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7138-7138	O argumento numero 2 de insured e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2094-2094	O argumento numero 1 de judicialBranch e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2000-2000	O argumento numero 1 de legislativeBranch e' uma instancia de Organizacao

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	MemberFn Organizacao e' um atributo de Objeto Objeto e' uma instancia de AutonomousAgent Organizacao e' uma instancia de Organizacao Objeto e' membro de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	diplomaticOrganizationType Organizacao, Organizacao and AutonomousAgent Organizacao e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' situado em AutonomousAgent Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4504-4509	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4492-4496	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent emprega Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4480-4484	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Humano ocupa a posicao de Posicao Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20734-20743	directed Humano and Filme Processo e' uma instancia de FilmMaking AutonomousAgent e' uma instancia de Organizacao leader AutonomousAgent and Humano Processo e' um agente de AutonomousAgent Filme e' o resultado de Processo FilmDirector e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 1301-1305	executiveBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 345-350	governmentType AutonomousAgent and FormOfGovernment FormOfGovernment e' um sub-atributo de TheocraticGovernment AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Organizacao Religiosa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1633-1639	industryProductType IndustryAttribute and Objeto IndustryAttribute e' uma instancia de IndustryAttribute Organizacao e' uma instancia de Organizacao IndustryAttribute e' um atributo de Organizacao organizationProductType Organizacao and Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1673-1679	industryServiceType IndustryAttribute and Processo Intencional IndustryAttribute e' uma instancia de IndustryAttribute Organizacao e' uma instancia de Organizacao IndustryAttribute e' um atributo de Organizacao organizationServiceType Organizacao and Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Government.kif 1336-1340	ExecutiveBranchFn Area Geopolitica e' uma instancia de Organizacao Area Geopolitica e' uma instancia de Area Geopolitica executiveBranch ExecutiveBranchFn Area Geopolitica and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2159	JudiciaryFn Area Geopolitica e' uma instancia de Organizacao Area Geopolitica e' uma instancia de Area Geopolitica judicialBranch JudiciaryFn Area Geopolitica and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2050-2054	LegislatureFn Area Geopolitica e' uma instancia de Organizacao Area Geopolitica e' uma instancia de Area Geopolitica legislativeBranch LegislatureFn Area Geopolitica and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1767-1772	Objeto e' uma instancia de AutonomousAgent Organizacao e' uma instancia de Organizacao Objeto e' membro de Organizacao MemberFn Organizacao e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1789-1795	Objeto e' uma instancia de Humano Organizacao e' uma instancia de Organizacao Posicao e' uma instancia de Posicao MemberRoleFn Organizacao and Posicao e' um atributo de Objeto MemberFn Organizacao e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1797-1803	Objeto e' uma instancia de Humano Organizacao e' uma instancia de Organizacao Posicao e' uma instancia de Posicao MemberRoleFn Organizacao and Posicao e' um atributo de Objeto Objeto e' membro de Organizacao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3063-3067	Agreement e' uma instancia de InternationalAgreement AgreementOrganizationFn Agreement e' uma instancia de Organizacao AgreementOrganizationFn Agreement e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10740-10748	Processo e' uma instancia de Despedir AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent emprega Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent nao emprega %n Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 1831-1835	Organizacao e' uma instancia de Organizacao electionForPosition Election and MemberFn Organizacao electionForOrganization Election and Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25093-25114	TelecomNumber e' uma instancia de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao TelecomNumber tem por fim Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent o argumento Entidade Entidade e' uma instancia de Communicacao TelecomNumber e' um instrumento para Entidade o comeco de tempo de existencia de Entidade e' igual a o comeco de imediatemente apos tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10724-10732	Processo e' uma instancia de Empregar AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent nao emprega %n Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent emprega Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10610-10618	Processo e' uma instancia de Empregar AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' membro de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' membro de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10631-10643	Processo e' uma instancia de Empregar Agente Cognitivo e' uma instancia de Organizacao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo expects Agente Cognitivo and Entidade Entidade e' uma instancia de Transacao Financeira Entidade e' um agente de Agente Cognitivo Entidade termina em Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10620-10629	Processo e' uma instancia de Empregar AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent emprega Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 2501-2508	Processo e' uma instancia de Juntar-se a uma Organizacao AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent Colecao e' um patient de Processo Processo e' uma instancia de Organizacao AutonomousAgent e' membro de Colecao

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 10540-10549	Processo e' uma instancia de Processo Organizacional Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Colecao Colecao e' uma instancia de Organizacao AutonomousAgent e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent e' uma instancia de AutonomousAgent ElectionFn AutonomousAgent e' uma sub-classe de Election AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 1882-1886	Atributo e' uma instancia de IndustryAttribute Atributo e' um atributo de Objeto Objeto e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7068-7077	Objeto e' uma instancia de CommercialUnit Fisico e' uma instancia de Organizacao Fisico e' situado em Objeto Fisico Fisico e' uma instancia de Organizacao Fisico e' situado em Objeto Fisico e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13338-13349	Processo e' uma instancia de Guerra Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica AutonomousAgent e' uma instancia de Organizacao Fisico Fisico e' membro de AutonomousAgent Fisico e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22160-22167	BusinessExecutive e' um atributo de AutonomousAgent Entidade Processo Processo e' uma instancia de Administrar Entidade e' uma instancia de Organizacao Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20724-20732	directed Humano and Filme Processo AutonomousAgent Processo e' uma instancia de FilmMaking AutonomousAgent e' uma instancia de Organizacao leader AutonomousAgent and Humano Processo e' um agente de AutonomousAgent Filme e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	economyType AutonomousAgent and EconomicAttribute AutonomousAgent e' uma instancia de Area Geopolitica AutonomousAgent e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3704-3708	Intervalo Temporal e' igual a FiscalYearFn AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica AutonomousAgent e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3732-3736	Intervalo Temporal e' igual a FiscalYearStartingFn AutonomousAgent and Ano AutonomousAgent e' uma instancia de Area Geopolitica AutonomousAgent e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1289-1293	executiveBranch Organizacao and AutonomousAgent Organizacao e' uma instancia de Area Geopolitica Organizacao e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 136-140	governmentType AutonomousAgent and FormOfGovernment AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22965-22974	coworker Entidade and Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Organizacao Entidade emprega Entidade Entidade emprega Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20552-20559	Artefato Estacionario e' uma instancia de BuildingUnit Organizacao Objeto Objeto e' uma instancia de Predio Organizacao e' uma instancia de Organizacao Artefato Estacionario e' uma &parte de Objeto workLocation Organizacao and Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2788-2793	Organizacao e' uma instancia de CustomerSupport Business Business e' uma instancia de Organizacao businessUnit Organizacao and Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2795-2805	Fisico e' uma instancia de CustomerSupport Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Organizacao businessUnit Fisico and Entidade Entidade e' membro de Fisico customerRepresentative Entidade, Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3089-3096	Fisico e' uma instancia de DrugCandidate AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Fisico tem finalidade Fisico e' uma instancia de Medicine para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 935-940	Processo e' uma instancia de Founding Entidade Entidade e' uma instancia de Organizacao Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Communications.kif 369-377	Colecao e' uma instancia de BroadcastNetwork AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Objeto Objeto e' membro de Colecao AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16058-16065	Processo e' uma instancia de Resolution AutonomousAgent Processo AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Processo Processo e' uma instancia de FormalMeeting
No TPTP formula. May not be expressible in strict first order.	Government.kif 2102-2106	judicialBranch Organizacao and AutonomousAgent Organizacao e' uma instancia de Area Geopolitica Organizacao e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2007-2011	legislativeBranch Organizacao and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1023-1027	suffrageAgeMaximum AutonomousAgent and Duracao Temporal AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 951-955	suffrageAgeMinimum AutonomousAgent and Duracao Temporal AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica

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: