TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1453-1455
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14154-14157
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14153-14153	Area terrestre 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 639-639	AmericanSamoa e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 416-416	Anguilla e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3624-3624	AntarcticArea e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 417-417	Aruba e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 592-592	AshmoreAndCartierIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 640-640	BakerIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 400-400	Bermuda e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 565-565	BritishIndianOceanTerritory e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 418-418	BritishVirginIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 419-419	CaymanIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 593-593	ChristmasIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 469-469	ClippertonIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 594-594	CocosKeelingIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 641-641	CookIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 642-642	CoralSeaIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 492-492	FalklandIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 311-311	FaroeIslands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 491-491	FrenchGuiana e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 643-643	FrenchPolynesia e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 587-587	FrenchSouthernAndAntarcticLands e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 237-237	GazaStrip e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 388-388	Gibraltar e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 401-401	Greenland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 420-420	Guadeloupe e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 344-344	Guernsey e' uma instancia de Area terrestre

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.	Geography.kif 4285-4285	O argumento numero 1 de groundSubsurfaceType e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4278-4278	O argumento numero 1 de groundSurfaceType e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1674-1674	O argumento numero 1 de slopeGradient e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1687-1687	O argumento numero 1 de slopeGradientTowardsOrientation e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14032-14032	O conceito Area Geografica e' completamente decomposto em Area Aquatica + Area terrestre

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1598-1608	Processo e' uma instancia de Flooding Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de tempo de existencia de Processo o argumento Objeto e' uma instancia de SubmergedLandArea vale durante Ponto no tempo tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5711-5718	Processo e' uma instancia de Irrigating Entidade e' um patient de Processo Entidade e' uma instancia de Area terrestre Dry e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Processo Damp e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5720-5725	Processo e' uma instancia de Irrigating Entidade e' um patient de Processo Entidade e' uma instancia de Area terrestre Processo tem por fim FertileTerrain e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6779-6792	Processo e' uma instancia de LandSubsidence Objeto e' um patient de Processo Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength elevation Objeto and Numero Real Unidade de Medida(s) Entidade elevation Objeto and Entidade Unidade de Medida(s) Entidade e' menos que Numero Real vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1843-1849	Objeto Corpuscular e' uma instancia de Soil Red e' um atributo de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Area terrestre Objeto Corpuscular e' um componente de Objeto Corpuscular FertileTerrain e' um atributo de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1835-1841	Objeto Corpuscular e' uma instancia de Soil Yellow e' um atributo de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Area terrestre Objeto Corpuscular e' um componente de Objeto Corpuscular FertileTerrain e' um atributo de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	Area terrestre e' uma instancia de Area terrestre groundSurfaceType Area terrestre and Substancia groundSubsurfaceType Area terrestre and Substancia Objeto Objeto Objeto e' uma instancia de Substancia Objeto e' uma instancia de Substancia Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	Objeto e' uma instancia de Basin Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto e' Adjacent em relacao a Objeto Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	Objeto e' uma instancia de Valley Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto e' Adjacent em relacao a Objeto Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14159-14166	Objeto e' uma instancia de Area terrestre Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Continente Objeto e' uma instancia de Ilha

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1742-1746	Atributo e' uma instancia de TerrainAttribute Atributo e' um atributo de Objeto Objeto e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	Processo e' uma instancia de DustStorm Processo e' uma instancia de Wind Processo e' um sub-processo de Processo Transferencia Objeto, Objeto, Objeto, Objeto and Numero Real Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto surfaceWindSpeed Objeto and Numero Real KnotUnitOfSpeed(s) Numero Real e' maior que 30.0 Transferencia e' uma instancia de Translocation Transferencia e' um sub-processo de Processo objectTransferred Transferencia and Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de ParticulateMatter Objeto e' uma instancia de Sand Objeto e' uma instancia de Area terrestre Transferencia termina em Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14214	Objeto e' uma instancia de Ilha Objeto e' uma instancia de Area Geografica Objeto encontra Objeto Objeto e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	Objeto auto-conectado e' uma instancia de Isthmus o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Area terrestre Objeto e' uma instancia de Area terrestre Objeto auto-conectado esta' entre Objeto e Objeto Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de Area Aquatica Objeto auto-conectado encontra Objeto Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	Processo e' uma instancia de TropicalCyclone Processo termina em Fisico Fisico e' uma instancia de Area Geografica Objeto Fisico and Numero Real Objeto e' uma instancia de Area terrestre Fisico e' uma instancia de Shoreline Fisico e' situado em Objeto a distancia entre Objeto e Fisico e' Numero Real Mile(s) Numero Real e' maior que 200.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	otherLandUseArea Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a 0.0 totalArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfArea Area Geografica Area Geografica e' uma instancia de Area terrestre Area Geografica e' uma instancia de ArableLand Area Geografica e' uma instancia de PermanentCropLand geographicSubregion Area Geografica and Area Geografica a medida de Area Geografica e' Numero Real + Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1793-1795	MountainousTerrain e' um atributo de Objeto Objeto e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 952-957	Objeto e' uma instancia de LandlockedArea Objeto Objeto e' uma instancia de Area terrestre Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15385-15392	Objeto e' uma instancia de Balcony Objeto Objeto Objeto encontra Objeto Objeto e' uma instancia de Area terrestre Objeto e' situado em Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 595-601	Objeto e' uma instancia de WaterOnlyArea Objeto Objeto e' uma instancia de Area terrestre Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1359-1368	Objeto e' uma instancia de RealEstate Objeto e' uma instancia de Artefato Estacionario Objeto e' uma instancia de Area terrestre Objeto Objeto Objeto e' uma instancia de Artefato Estacionario Objeto e' uma instancia de Area terrestre Objeto e' igual a a uniao das partes de Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8969-8974	Objeto e' uma instancia de Fog Objeto Objeto e' uma instancia de Area terrestre Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5225-5230	Objeto e' uma instancia de Inlet Objeto Objeto e' uma instancia de Area terrestre Objeto penetra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14194-14206	Objeto e' uma instancia de Ilha Objeto Objeto and Objeto Objeto e' uma instancia de Area terrestre Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17778	Processo e' uma instancia de LandTransportation Objeto Objeto Objeto e' uma instancia de LandVehicle Objeto e' uma instancia de Area terrestre Objeto e' um instrumento para Processo Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 811-818	Processo e' uma instancia de LandingWaterLand Entidade Processo Entidade e' uma instancia de Area terrestre Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de WaterTransportation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4791-4796	Objeto e' uma instancia de Sea Objeto Objeto e' uma instancia de Area terrestre Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6771-6777	Processo e' uma instancia de LandSubsidence Objeto Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14289-14297	Fisico e' uma instancia de LandTransitway Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Translocation Fisico e' o caminho ao longo do qual Entidade ocorre eventLocated Entidade and Entidade Entidade e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	Objeto Corpuscular e' uma instancia de Hammock Tecido e' feito de Objeto Corpuscular Objeto Objeto and Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto Corpuscular Objeto e' conectado com Objeto Corpuscular Objeto e' uma instancia de Area terrestre Objeto Corpuscular e' situado em Objeto Objeto Corpuscular e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26104-26122	Fisico e' uma instancia de PublicAddressSystem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Area terrestre Fisico e' situado em Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Entidade Entidade e' uma instancia de Som Irradiante Fisico e' um instrumento para Entidade Entidade Entidade e' membro de Entidade Entidade Entidade e' uma instancia de Ouvir Entidade e' um patient de Entidade Entidade e' um agente de Entidade

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: