TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1440-1442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14055-14058
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	Area Geopolitica e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Area Geopolitica e' uma sub-classe de Area Geografica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4240-4240	Antarctica e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4841-4841	ConfederateStatesOfAmerica e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4234-4234	GazaStrip e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 145-145	MiddleEastRegion e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2522-2522	Montenegro e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2570-2570	PalestinianTerritories e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4235-4235	ParacelIslands e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	Scotland e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2494-2494	Serbia e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4236-4236	SpratlyIslands e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2584-2584	SvalbardAndJanMayenIsland e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4845-4845	UnionStatesOfAmerica e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2608-2608	UnitedStatesMinorOutlyingIslands e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4237-4237	WestBank e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4238-4238	WesternSahara e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	Cidade e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	CityDistrict e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	County e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	DependencyOrSpecialSovereigntyArea e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	IndependentState e' uma sub-classe de Area Geopolitica
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.	Government.kif 487-487	OverseasArea e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	ParliamentaryTerritory e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	PortFacility e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	SelfGoverningTerritory e' uma sub-classe de Area Geopolitica

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.	Military.kif 865-865	O argumento numero 1 de AvailableForMilitaryServiceMaleFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 69-69	O argumento numero 1 de BirthsPerThousandFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1527-1527	O argumento numero 1 de CabinetFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 441-441	O argumento numero 1 de ChildrenBornPerWomanFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	O argumento numero 1 de CitizenryFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 674-674	O argumento numero 1 de ConstitutionFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 102-102	O argumento numero 1 de DeathsPerThousandFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 228-228	O argumento numero 1 de DeathsPerThousandLiveBirthsFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1149-1149	O argumento numero 1 de ExclusiveFishingZoneFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1181-1181	O argumento numero 1 de ExtendedFishingZoneFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 394-394	O argumento numero 1 de FemaleLifeExpectancyAtBirthFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Military.kif 887-887	O argumento numero 1 de FitForMilitaryServiceMaleFn e' uma instancia de Area Geopolitica
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.	Government.kif 2138-2138	O argumento numero 1 de JudiciaryFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2036-2036	O argumento numero 1 de LegislatureFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 297-297	O argumento numero 1 de LifeExpectancyAtBirthFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 346-346	O argumento numero 1 de MaleLifeExpectancyAtBirthFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 192-192	O argumento numero 1 de MaleToFemaleRatioFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1043-1043	O argumento numero 1 de MaritimeContiguousZoneFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1117-1117	O argumento numero 1 de MaritimeExclusiveEconomicZoneFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1085-1085	O argumento numero 1 de MaritimeShelfAreaFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 965-965	O argumento numero 1 de MerchantMarineFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	People.kif 138-138	O argumento numero 1 de MigrantsPerThousandFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 501-501	O argumento numero 1 de OverseasAreaFn e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	O argumento numero 2 de PerCapitaFn e' uma instancia de Area Geopolitica

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.	Media.kif 2889-2895	codeMapping ISO-4217-A, Sequencia Simbolica and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, Sequencia Simbolica and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, 0 and 2 currencyType Area Geopolitica and UnitOfCurrency
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 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 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 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 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 4498-4502	diplomaticRepresentativeInRole AutonomousAgent, Humano, Posicao and AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Humano and AutonomousAgent
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 1295-1299	executiveBranch Organizacao and AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica Organizacao e' uma instancia de GovernmentOrganization
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 242-246	governmentType AutonomousAgent and AbsoluteMonarchy AutonomousAgent e' uma instancia de Area Geopolitica leaderPosition AutonomousAgent and Monarch
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.	Mid-level-ontology.kif 8045-8052	Area Geopolitica e' uma instancia de Area Geopolitica Numero Inteiro e' igual a o numero de instancias dentro de CitizenryFn Area Geopolitica Numero Inteiro e' igual a o numero de instancias dentro de ResidentFn Area Geopolitica Numero Inteiro e' maior ou igual a Numero Inteiro
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.	Geography.kif 1157-1161	Area Geopolitica e' uma instancia de Area Geopolitica ExclusiveFishingZoneFn Area Geopolitica e' uma instancia de ExclusiveFishingZone claimedTerritory ExclusiveFishingZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1189-1193	Area Geopolitica e' uma instancia de Area Geopolitica ExtendedFishingZoneFn Area Geopolitica e' uma instancia de ExtendedFishingZone claimedTerritory ExtendedFishingZoneFn Area Geopolitica and Area Geopolitica
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.	Geography.kif 1050-1054	Area Geopolitica e' uma instancia de Area Geopolitica MaritimeContiguousZoneFn Area Geopolitica e' uma instancia de MaritimeContiguousZone claimedTerritory MaritimeContiguousZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1125-1129	Area Geopolitica e' uma instancia de Area Geopolitica MaritimeExclusiveEconomicZoneFn Area Geopolitica e' uma instancia de MaritimeExclusiveEconomicZone claimedTerritory MaritimeExclusiveEconomicZoneFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1092-1096	Area Geopolitica e' uma instancia de Area Geopolitica MaritimeShelfAreaFn Area Geopolitica e' uma instancia de MaritimeShelfArea claimedTerritory MaritimeShelfAreaFn Area Geopolitica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 978-982	Area Geopolitica e' uma instancia de Area Geopolitica MerchantMarineFn Area Geopolitica e' uma instancia de MerchantMarine Area Geopolitica possui MerchantMarineFn Area Geopolitica

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.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian e' um atributo de Entidade Entidade vive em Entidade Entidade e' situado em Area Geografica vale durante Intervalo Temporal Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Entidade-PLACE and Entidade-RES Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade-RES e' uma instancia de Objeto Entidade-PLACE e' uma instancia de Area Geopolitica Entidade-RES e' situado em Entidade-PLACE Area Geografica e' igual a Entidade-PLACE Entidade e' igual a Entidade-RES geographicSubregion Area Geografica and Entidade-PLACE geographicSubregion Entidade-PLACE and Area Geografica Entidade vive em Entidade-RES vale durante Intervalo Temporal
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.	Economy.kif 2432-2445	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Area Geopolitica e' uma instancia de Area Geopolitica Entidade e' situado em Area Geopolitica vale durante o comeco de tempo de existencia de Processo Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica sub-divisao geopolitica sub-divisao geopolitica Entidade e' situado em Area Geopolitica vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13882-13886	Processo e' uma instancia de PoliticalRevolution Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	Relacao e' uma instancia de EconomicRelation o argumento numero 1 de Relacao e' uma instancia de Classe Classe e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1841-1858	Objeto e' uma instancia de Comprar CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto Objeto AutonomousAgent, AutonomousAgent_LOCATION and Objeto_LOCATION AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de AutonomousAgent Objeto e' um agente de AutonomousAgent Objeto tem como origem Objeto AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica Objeto_LOCATION e' uma instancia de Area Geopolitica Objeto e' situado em Objeto_LOCATION AutonomousAgent e' situado em AutonomousAgent_LOCATION AutonomousAgent_LOCATION e' igual a Objeto_LOCATION
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1822-1839	Objeto e' uma instancia de Vender CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto AutonomousAgent Fisico, Fisico_LOCATION and AutonomousAgent_LOCATION Fisico e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto termina em Fisico Objeto e' um agente de AutonomousAgent Fisico_LOCATION e' uma instancia de Area Geopolitica AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica AutonomousAgent e' situado em AutonomousAgent_LOCATION Fisico e' situado em Fisico_LOCATION Fisico_LOCATION e' igual a AutonomousAgent_LOCATION
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.	Government.kif 3466-3473	AutonomousAgent e' membro de InternationalCourtOfJustice JudgeAtLaw e' um atributo de AutonomousAgent AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica representativeAgentToAgent AutonomousAgent, AutonomousAgent and InternationalCourtOfJustice
No TPTP formula. May not be expressible in strict first order.	Government.kif 1363-1369	Monarch e' um atributo de Humano Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica governmentType Area Geopolitica and Monarchy chiefOfState Area Geopolitica, Monarch and Humano
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.	Government.kif 1375-1390	Processo e' uma instancia de Coronation Entidade Entidade Entidade e' uma instancia de Humano Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica chiefOfState Entidade, Monarch and Entidade vale durante o comeco de tempo de existencia de Processo chiefOfState Entidade, Monarch and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2741	Colecao e' uma instancia de GlobalCrossFunctionalTeam Fisico Fisico_LOC, Fisico and Fisico_LOC Fisico e' uma instancia de Humano Fisico e' uma instancia de Humano Fisico_LOC e' uma instancia de Area Geopolitica Fisico_LOC e' uma instancia de Area Geopolitica Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' situado em Fisico_LOC Fisico e' situado em Fisico_LOC Fisico_LOC e' igual a Fisico_LOC
No TPTP formula. May not be expressible in strict first order.	Military.kif 788-793	MilitaryOrganization e' uma instancia de MilitaryOrganization Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica militaryOfArea MilitaryOrganization and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3039-3049	Entidade e' uma instancia de TreatyDocument Processo AutonomousAgent and AutonomousAgent Processo e' uma instancia de Comprometer-se Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Area Geopolitica Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent
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 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: