GovernmentFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3739-3741
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16785-16789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16783-16783	O argumento numero 1 de GovernmentFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16782-16782	GovernmentFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16781-16781	GovernmentFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16784-16784	O contra-dominio de GovernmentFn e' uma instancia de Governo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 802-802
No TPTP formula. May not be expressible in strict first order.	english_format.kif 811-811
No TPTP formula. May not be expressible in strict first order.	french_format.kif 482-482
No TPTP formula. May not be expressible in strict first order.	english_format.kif 812-812
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 504-504
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26298-26298
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 803-803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26297-26297
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26296-26296

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	FormOfGovernment e' um atributo de o governo de Area Geopolitica FormOfGovernment e' uma instancia de FormOfGovernment governmentType Area Geopolitica and FormOfGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 1941-1949	UnicameralLegislature e' um atributo de Organizacao legislativeBranch Organizacao and Area Geopolitica Organizacao e' uma instancia de LegislativeChamber Organizacao e' uma parte da organizacao o governo de Area Geopolitica Organizacao e' uma instancia de LegislativeChamber Organizacao e' uma parte da organizacao o governo de Area Geopolitica Organizacao e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4639-4644	diplomaticRepresentationType AutonomousAgent, ConsulGeneral and Governo Area Geopolitica e' uma instancia de Cidade Governo e' igual a o governo de Area Geopolitica diplomaticOrganizationType AutonomousAgent, ConsulateGeneral and Governo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4475-4483	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Organizacao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 121-125	Area Geopolitica e' uma instancia de Area Geopolitica o governo de Area Geopolitica e' uma instancia de NationalGovernment Area Geopolitica e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14106-14110	Area Geopolitica e' uma instancia de Area Geopolitica leader o governo de Area Geopolitica and Humano leader Area Geopolitica and Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 2273-2281	Area Geopolitica e' uma instancia de Area Geopolitica Humano ocupa a posicao de Leader o governo de Area Geopolitica Processo Processo e' uma instancia de Guiar Area Geopolitica e' um patient de Processo Processo e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1477-1488	Organizacao e' uma instancia de GovernmentCabinet Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao tem por fim Entidade Entidade Entidade e' uma instancia de Declarar Entidade e' um agente de Organizacao Entidade e' um patient de Entidade leader Entidade and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-747	Proposicao e' uma instancia de ConstitutionFn Area Geopolitica Area Geopolitica e' uma instancia de Nacao Governo e' igual a o governo de Area Geopolitica tempo de existencia de Governo e' uma instancia de Posicao Temporal agreementEffectiveDuring Proposicao and Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao Formula contem informacao Proposicao Governo e' obrigado a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 1420-1426	Area Geopolitica e' uma instancia de Nacao leader Area Geopolitica and Humano Posicao e' uma instancia de Posicao Humano ocupa a posicao de Posicao o governo de Area Geopolitica leaderPosition Area Geopolitica and Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1429-1433	Area Geopolitica e' uma instancia de Nacao leaderPosition o governo de Area Geopolitica and Posicao leaderPosition Area Geopolitica and Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2160	Organizacao e' uma instancia de SupremeCourt Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Nacao Organizacao e' uma instancia de SupremeCourtFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14125-14131	Processo e' uma instancia de Election Processo e' um agente de AutonomousAgent Area Geopolitica e' uma instancia de Area Geopolitica AutonomousAgent e' uma instancia de o governo de Area Geopolitica Processo e' uma instancia de Processo Politico
No TPTP formula. May not be expressible in strict first order.	Government.kif 1451-1458	Humano e' uma instancia de Humano Posicao e' uma instancia de Posicao Area Geopolitica e' uma instancia de Area Geopolitica leaderPosition Area Geopolitica and Posicao Humano ocupa a posicao de Posicao o governo de Area Geopolitica leader Area Geopolitica and Humano
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	Processo e' uma instancia de UnconventionalWarfare Processo e' um agente de Governo Governo e' igual a AutonomousAgent Governo e' igual a o governo de Area Geopolitica AutonomousAgent e' um patient de Processo AutonomousAgent e' membro de ResidentFn Area Geopolitica AutonomousAgent e' uma sub-colecao de ResidentFn Area Geopolitica Processo Processo e' uma instancia de Contest Processo e' um agente de AutonomousAgent Processo e' um agente de o governo de Area Geopolitica

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8360-8362	Area Geopolitica e' uma instancia de Cidade o governo de Area Geopolitica e' uma instancia de CityGovernment
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8353-8355	Area Geopolitica e' uma instancia de Estado ou Provincia o governo de Area Geopolitica e' uma instancia de StateGovernment
No TPTP formula. May not be expressible in strict first order.	Government.kif 4612-4621	diplomaticOrganizationType Area Geopolitica, Organizacao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao 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 o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4450-4454	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Area Geopolitica o governo de Area Geopolitica emprega Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4434-4442	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1277-1282	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1271-1275	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	governmentType Area Geopolitica and FormOfGovernment FormOfGovernment e' um sub-atributo de TheocraticGovernment Area Geopolitica e' uma instancia de Area Geopolitica o governo de Area Geopolitica e' uma instancia de Organizacao Religiosa
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	governmentType Area Geopolitica and FormOfGovernment Area Geopolitica e' uma instancia de Area Geopolitica FormOfGovernment e' um sub-atributo de ParliamentaryGovernment Organizacao Organizacao e' uma instancia de Parliament Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1300-1304	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 2119-2123	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 2014-2018	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 142-146	Area Geopolitica e' uma instancia de Area Geopolitica governmentType Area Geopolitica and FormOfGovernment FormOfGovernment e' um atributo de o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14112-14116	Area Geopolitica e' uma instancia de Area Geopolitica leader Area Geopolitica and Humano leader o governo de Area Geopolitica and Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1310-1314	Organizacao e' uma instancia de Area Geopolitica Humano ocupa a posicao de Leader Organizacao leader o governo de Organizacao and Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1477-1488	Organizacao e' uma instancia de GovernmentCabinet Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao tem por fim Entidade Entidade Entidade e' uma instancia de Declarar Entidade e' um agente de Organizacao Entidade e' um patient de Entidade leader Entidade and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1435-1439	Area Geopolitica e' uma instancia de Nacao leaderPosition Area Geopolitica and Posicao leaderPosition o governo de Area Geopolitica and Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2326-2333	Agente Cognitivo e' uma instancia de PoliticalPressureGroup Agente Cognitivo tem por fim Formula agentOperatesInArea Agente Cognitivo and Area Geografica Area Geografica e' uma instancia de Nacao Agente Cognitivo deseja o governo de Area Geografica acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13915-13927	Processo e' uma instancia de PoliticalRevolution Entidade e' um patient de Processo Entidade Entidade Entidade e' igual a o governo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' igual a o governo de Entidade vale durante o fim de tempo de existencia de Processo Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	Processo e' uma instancia de UnconventionalWarfare Processo e' um agente de Governo Governo e' igual a AutonomousAgent Governo e' igual a o governo de Area Geopolitica AutonomousAgent e' um patient de Processo AutonomousAgent e' membro de ResidentFn Area Geopolitica AutonomousAgent e' uma sub-colecao de ResidentFn Area Geopolitica Processo Processo e' uma instancia de Contest Processo e' um agente de AutonomousAgent Processo e' um agente de o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2094-2099	judicialBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2088-2092	judicialBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1993-1997	legislativeBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4578-4583	representativeAgentToAgent Area Geopolitica, Agente Cognitivo and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Agente Cognitivo e' uma instancia de Agente Cognitivo o governo de Area Geopolitica emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	ExpeditionaryForce e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Objeto e' uma parte da organizacao o governo de Entidade Entidade e' uma instancia de Batalha Entidade e' um agente de Objeto Entidade e' uma instancia de Nacao Entidade e' situado em Entidade Entidade e' igual a Entidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 4792-4792	DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1284-1284	USFoodAndDrugAdministration e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 2355-2355	USStateDepartment e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 1913-1913	UnitedStatesCongress e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 4819-4819	UnitedStatesDepartmentOfInterior e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 4814-4814	UnitedStatesDepartmentOfState e' uma parte da organizacao o governo de UnitedStates

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: