TreeView 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 16714-16718
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16712-16712	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 16711-16711	GovernmentFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16710-16710	GovernmentFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16713-16713	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 1977-1985	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 4675-4680	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 4511-4519	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 14060-14064	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 2309-2317	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 1513-1524	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 774-783	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 1456-1462	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 1465-1469	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 2191-2196	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 14079-14085	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 1487-1494	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 8333-8335	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 8326-8328	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 4648-4657	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 4486-4490	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 4470-4478	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 1313-1318	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 1307-1311	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 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 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 14066-14070	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 1346-1350	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 1513-1524	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 1471-1475	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 2362-2369	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 13888-13900	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 2130-2135	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 2124-2128	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 2029-2033	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 4614-4619	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 4828-4828	DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1283-1283	USFoodAndDrugAdministration e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 2391-2391	USStateDepartment e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 1949-1949	UnitedStatesCongress e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 4855-4855	UnitedStatesDepartmentOfInterior e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 4850-4850	UnitedStatesDepartmentOfState e' uma parte da organizacao o governo de UnitedStates

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: