TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3519-3519	Nacao e' disjunto de Continente
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3346-3347
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14225-14228
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3358-3358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	Nacao e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14224-14224	Nacao e' uma sub-classe de Area terrestre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 568-568	Afghanistan e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 371-371	Albania e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 117-117	Algeria e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 153-153	Angola e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 429-429	AntiguaAndBarbuda e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 514-514	Argentina e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 631-631	Armenia e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 661-661	Australia e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 276-276	Austria e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 633-633	Azerbaijan e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 241-241	Bahrain e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 570-570	Bangladesh e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 434-434	Barbados e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 297-297	Belarus e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 472-472	Belize e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 192-192	Benin e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 572-572	Bhutan e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 496-496	Bolivia e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 373-373	BosniaAndHerzegovina e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 156-156	Botswana e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 501-501	Brazil e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 600-600	Brunei e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 375-375	Bulgaria e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 194-194	BurkinaFaso e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 86-86	Burundi e' uma instancia de Nacao

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.	Music.kif 954-954	O argumento numero 1 de NationalAnthemFn e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6710-6710	O argumento numero 4 de StreetAddressFn e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16753-16753	O argumento numero 2 de citizen e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1676-1676	O argumento numero 1 de inflationRateInCountry e' uma instancia de Nacao

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	CommunistState e' um atributo de AutonomousAgent AutonomousAgent e' uma instancia de Nacao economyType AutonomousAgent and CentrallyPlannedEconomy
No TPTP formula. May not be expressible in strict first order.	Government.kif 1570-1574	chiefOfState Nacao, Posicao and Humano Nacao e' uma instancia de Nacao Humano e' um cidadao de Nacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4668-4673	diplomaticOrganizationType AutonomousAgent, Organizacao and Area Geopolitica sub-divisao geopolitica Area Geopolitica e' uma instancia de Nacao diplomaticOrganizationType AutonomousAgent, Organizacao and Area Geopolitica
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 4535-4540	diplomaticRepresentationType AutonomousAgent, Posicao and Area Geopolitica sub-divisao geopolitica Area Geopolitica e' uma instancia de Nacao diplomaticRepresentationType AutonomousAgent, Posicao and Area Geopolitica
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 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 1609-1613	headOfGovernment Nacao, Posicao and Humano Nacao e' uma instancia de Nacao Humano e' um cidadao de Nacao
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 195-201	StatelessPerson e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Nacao Entidade e' um cidadao de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	BorderFn Area Geografica and Area Geografica e' uma instancia de Area Geografica Area Geografica e' uma instancia de Nacao Area Geografica e' uma instancia de Nacao BorderFn Area Geografica and Area Geografica e' uma instancia de InternationalBorder
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1145-1149	ShipRegisterFn Area Geopolitica e' uma instancia de ShipRegister Area Geopolitica e' uma instancia de Nacao ShipRegisterFn Area Geopolitica e' uma instancia de NationalShipRegister
No TPTP formula. May not be expressible in strict first order.	Government.kif 3229-3233	Area Geopolitica e' uma instancia de Nacao currencyType Area Geopolitica and EuroDollar Area Geopolitica e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3223-3227	Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' membro de EuropeanMonetaryUnion currencyType Area Geopolitica and EuroDollar
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement e' uma instancia de CivilAffairsAgreement partyToAgreement Entidade_MIL_THIS and Agreement Entidade_MIL_THIS e' uma instancia de MilitaryOrganization militaryOfArea Entidade_MIL_THIS and Entidade_THIS Entidade_THIS e' uma instancia de Nacao Entidade_MIL_THIS e' situado em Entidade_FRIENDLY Entidade_FRIENDLY e' uma instancia de Nacao Entidade_THIS e' igual a Entidade_FRIENDLY enemy Entidade_THIS and Entidade_FRIENDLY Entidade_FRIENDLY Entidade_FRIENDLY e' situado em Entidade_FRIENDLY partyToAgreement Entidade_FRIENDLY and Agreement Entidade_FRIENDLY e' uma instancia de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processo e' uma instancia de CivilAffairsOperation Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Proposicao e' uma instancia de RegionalLawFn Area Geopolitica Processo exprime o conteudo de Proposicao consistent Proposicao and Proposicao
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 906-913	Area Geopolitica e' uma instancia de Nacao governmentType Area Geopolitica and Democracy Proposicao Proposicao e' uma instancia de SuffrageLaw Proposicao e' uma &sub-proposicao de RegionalLawFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 507-511	Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de OverseasAreaFn Area Geopolitica dependentAreaOfType Area Geopolitica, Area Geopolitica and OverseasArea
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 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 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.	Geography.kif 6938-6942	Area Geopolitica e' uma instancia de GeographicPartTypeFn Estado ou Provincia and Area Geopolitica Area Geopolitica e' uma instancia de Nacao primaryGeopoliticalSubdivision Area Geopolitica and Area Geopolitica
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

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.	MilitaryPersons.kif 151-167	Expellee e' um atributo de Entidade Entidade e' um cidadao de Entidade-NATION vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Processo Objeto Objeto e' uma instancia de Nacao Objeto e' igual a Entidade-NATION Processo e' uma instancia de Translocation Processo tem como origem Objeto Entidade e' um patient de Processo Processo termina em Entidade-NATION Posicao Temporal e' uma &parte de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3001-3009	Entidade e' uma instancia de InternationalAgreement Processo e' uma instancia de Comprometer-se Processo define Entidade AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Nacao
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.	Mid-level-ontology.kif 17352-17368	Processo e' uma instancia de Immigrating Processo e' um agente de AutonomousAgent Area Geopolitica Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de Nacao Processo tem como origem Area Geopolitica Processo termina em Area Geopolitica Area Geopolitica e' igual a Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica Processo tem por fim AutonomousAgent vive em Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1176-1180	Objeto e' uma instancia de InternalShipRegister AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1126-1130	Objeto e' uma instancia de NationalShipRegister AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1192-1196	Objeto e' uma instancia de OffshoreShipRegister AutonomousAgent possui Objeto AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2531-2535	Colecao e' uma instancia de OrganizationOfNations Fisico e' membro de Colecao Fisico e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16561-16575	Objeto e' uma instancia de Passport AutonomousAgent possui Objeto confersNorm Objeto, Entidade Entidade and Entidade Entidade e' uma instancia de Translocation Entidade e' um agente de AutonomousAgent Entidade tem como origem Entidade Entidade termina em Entidade Entidade e' uma instancia de Nacao Entidade e' uma instancia de Nacao Entidade e' igual a Entidade and Permission
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	Processo e' uma instancia de DutyTax Processo inclui uma referencia a Entidade Entidade e' um patient de Processo Processo Objeto and Entidade Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de Nacao Entidade e' uma instancia de Nacao Objeto e' igual a Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27125-27135	Objeto e' uma instancia de TelephoneCommunication Domestic e' um atributo de Objeto Objeto Fisico and Objeto Objeto tem como origem Objeto Objeto termina em Fisico Objeto e' situado em Objeto Fisico e' situado em Objeto Objeto e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27142-27154	Objeto e' uma instancia de TelephoneCommunication International e' um atributo de Objeto Objeto Fisico, Objeto and Objeto Objeto tem como origem Objeto Objeto termina em Fisico Objeto e' situado em Objeto Fisico e' situado em Objeto Objeto e' uma instancia de Nacao Objeto e' uma instancia de Nacao Objeto e' igual a Objeto
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
No TPTP formula. May not be expressible in strict first order.	Government.kif 493-498	Area Geopolitica e' uma instancia de OverseasArea Area Geopolitica Area Geopolitica e' uma instancia de Nacao dependentGeopoliticalArea Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 32-41	Processo e' uma instancia de InternationalDispute AutonomousAgent AutonomousAgent AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' igual a AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3537-3561	Processo e' uma instancia de Pandemic Entidade Entidade, Entidade, Entidade, Entidade and Entidade involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Nacao Entidade e' uma instancia de Nacao Entidade e' igual a Entidade Entidade e' uma instancia de Continente Entidade e' uma instancia de Continente Entidade e' igual a Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13266-13271	Entidade e' uma instancia de NationalFlag Entidade Entidade e' uma instancia de Nacao Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1357-1373	AutonomousAgent e' uma instancia de HostNation Processo Organizacao, Area Geopolitica and MilitaryOrganization Area Geopolitica e' uma instancia de Nacao MilitaryOrganization e' uma instancia de MilitaryForce militaryOfArea MilitaryOrganization and Area Geopolitica Organizacao e' uma parte da organizacao MilitaryOrganization AutonomousAgent e' igual a Area Geopolitica enemy AutonomousAgent and Area Geopolitica Processo e' uma instancia de Obter Processo e' um agente de AutonomousAgent Organizacao e' um patient de Processo Organizacao e' uma instancia de MilitaryForce Organizacao e' situado em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2516-2524	AutonomousAgent e' uma instancia de InternationalOrganization Area Geografica Area Geografica Area Geografica e' uma instancia de Nacao Area Geografica e' uma instancia de Nacao agentOperatesInArea AutonomousAgent and Area Geografica agentOperatesInArea AutonomousAgent and Area Geografica Area Geografica e' igual a Area Geografica
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1006-1015	Processo e' uma instancia de MultinationalDoctrine AutonomousAgent AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' igual a AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14237-14242	Objeto e' uma instancia de Estado ou Provincia Objeto Objeto e' uma instancia de Nacao Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19692-19700	Contest e' uma instancia de CivilWar Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica contestParticipant Contest and Area Geopolitica sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22379-22388	Objeto e' uma instancia de EmbassyBuilding AutonomousAgent Objeto AutonomousAgent e' uma instancia de Nacao Objeto e' uma instancia de Nacao AutonomousAgent e' igual a Objeto AutonomousAgent possui Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24707-24711	postCountry PostalPlace and Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14220-14229	Agente Cognitivo tem um atributo de Treaty Agreement Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Agreement e' uma instancia de Nacao Agreement e' uma instancia de Nacao Agreement e' igual a Agreement

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 923-931

?COUNTRY ?ELECTION, ?VOTING and ?VOTER

?COUNTRY e' uma instancia de Nacao ?ELECTION e' uma instancia de ElectionFn ?COUNTRY ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER
?VOTER e' um cidadao de ?COUNTRY

contem informacao VoterCitizenshipRequirement

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: