TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14033-14038
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8502-8502
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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14031-14031	Area Geografica e' uma sub-classe de Regiao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14023-14023	Corpo Astronomico e' disjunto de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9068-9068	SpaceRegion e' disjunto de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3623-3623	AntarcticArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3561-3561	ArcticRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2644-2644	BetLidJunctionIsrael e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3594-3594	BishkekKyrgyzstan e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	BosphorousStraitsTurkey e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2686-2686	BwindiforestUganda e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 93-93	CaribbeanRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 78-78	CentralAfrica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 100-100	CentralAsia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 84-84	CentralEurope e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 95-95	CentralSouthAmerica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2731-2731	ClarkAirbasePhilippines e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2766-2766	DangDistrictNepal e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2787-2787	DistrictOfMansehraPakistan e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2808-2808	DushanbeAirportTajikistan e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 79-79	EasternAfrica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 101-101	EasternAsia e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 85-85	EasternEurope e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 96-96	EasternSouthAmerica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6946-6946	England e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2839-2839	FethiyeAndMarmarisTurkey e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2842-2842	FloridaUnitedStates e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1389-1389	GazaStrip e' uma instancia de Area Geografica

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 688-688	O argumento numero 1 de BorderFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	O argumento numero 2 de BorderFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4857-4857	O argumento numero 1 de DatumFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30630-30630	O argumento numero 1 de DemonymFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 478-478	O argumento numero 2 de DirectionalSubregionFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1957-1957	O argumento numero 1 de ElevationHighPointFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1933-1933	O argumento numero 1 de ElevationLowPointFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 335-335	O argumento numero 1 de GeographicCenterFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6914-6914	O argumento numero 2 de GeographicPartTypeFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2218-2218	O argumento numero 1 de Mean10MinutesWindSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2323-2323	O argumento numero 1 de Mean1MinuteWindSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2288-2288	O argumento numero 1 de Mean2MinutesWindSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2253-2253	O argumento numero 1 de Mean3MinutesWindSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1899-1899	O argumento numero 1 de Mean3SecondWindSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1993-1993	O argumento numero 1 de Mean3SecondWindSpeedListFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31728-31728	O argumento numero 2 de OrganismPopulationFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6111-6111	O argumento numero 1 de SeacoastFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6168-6168	O argumento numero 1 de ShorelineFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2033-2033	O argumento numero 1 de ThreeSecondGustSpeedFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2236-2236	O argumento numero 2 de agentOperatesInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3092-3092	O argumento numero 1 de airQualityIndex e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2072-2072	O argumento numero 1 de arableLandArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22930-22930	O argumento numero 3 de areaOfResponsibility e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1220-1220	O argumento numero 1 de averagePrecipitationForPeriod e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1305-1305	O argumento numero 1 de averageRainfallForPeriod e' uma instancia de Area Geografica

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.	Geography.kif 1907-1912	elevation Objeto and Medida de Comprimento Objeto e' situado em Objeto Objeto e' uma instancia de Area Geografica Objeto e' uma parte superficial de PlanetEarth
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.	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.	Geography.kif 1727-1733	Area Geografica e' uma instancia de Area Geografica TerrainAttribute e' um atributo de Objeto TerrainAttribute e' uma instancia de TerrainAttribute Objeto e' parcialmente localizado em Area Geografica terrainInArea Area Geografica and TerrainAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	Area Geografica e' uma instancia de Area Geografica geographicSubregion ElevationHighPointFn Area Geografica and Area Geografica elevation ElevationHighPointFn Area Geografica and Numero Real Unidade de Medida(s) Area Geografica Numero Real geographicSubregion Area Geografica and Area Geografica Area Geografica e' igual a ElevationHighPointFn Area Geografica elevation Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	Area Geografica e' uma instancia de Area Geografica geographicSubregion ElevationLowPointFn Area Geografica and Area Geografica Unidade de Medida e' uma instancia de UnitOfLength elevation ElevationLowPointFn Area Geografica and Numero Real Unidade de Medida(s) Area Geografica Numero Real geographicSubregion Area Geografica and Area Geografica Area Geografica e' igual a ElevationLowPointFn Area Geografica elevation Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1865-1870	Objeto e' uma instancia de Area Geografica Processo e' uma instancia de VolcanicEruption eventLocated Processo and Objeto GeologicallyStable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1858-1863	Objeto e' uma instancia de Area Geografica Objeto e' uma instancia de Volcano VolcanicallyActive e' um atributo de Objeto GeologicallyStable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	Objeto e' uma instancia de Area Geografica Fisico e' uma instancia de GeologicalFault Fisico e' situado em Objeto GeologicallyStable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	Area Geografica e' uma instancia de Area Geografica Intervalo Temporal e' uma instancia de Mes averageTemperatureForPeriod Area Geografica, Intervalo Temporal and Numero Real CelsiusDegree(s) 10.0 e' maior que Numero Real climateTypeInArea Area Geografica and PolarClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1872-1877	Objeto e' uma instancia de Area Geografica Processo e' uma instancia de EarthTremor eventLocated Processo and Objeto GeologicallyStable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 892-898	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de ClearWeather eventLocated Processo and Regiao cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' menos que 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 882-890	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de ClearWeather eventLocated Processo and Regiao Numero Real nao-negativo cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' menos que 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 943-949	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de OvercastWeather eventLocated Processo and Regiao cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' maior que 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 933-941	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de OvercastWeather eventLocated Processo and Regiao Numero Real nao-negativo cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' maior que 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de PartlyCloudyWeather eventLocated Processo and Regiao cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' maior ou igual a 0.3 Numero Real nao-negativo e' menor ou igual a 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 906-915	Regiao e' uma instancia de Area Geografica Processo e' uma instancia de PartlyCloudyWeather eventLocated Processo and Regiao Numero Real nao-negativo cloudCoverFraction Regiao and Numero Real nao-negativo Numero Real nao-negativo e' maior ou igual a 0.3 Numero Real nao-negativo e' menor ou igual a 0.7
No TPTP formula. May not be expressible in strict first order.	Geography.kif 493-498	Atributo Directional e' uma instancia de Atributo Directional Area Geografica e' uma instancia de Area Geografica DirectionalSubregionFn Atributo Directional and Area Geografica e' uma instancia de Area Geografica geographicSubregion DirectionalSubregionFn Atributo Directional and Area Geografica and Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	Atributo Directional e' uma instancia de Atributo Directional Area Geografica e' uma instancia de Area Geografica DirectionalSubregionFn Atributo Directional and Area Geografica e' uma instancia de Area Geografica DirectionalSubregionFn Atributo Directional and Area Geografica e' Atributo Directional em relacao a GeographicCenterFn Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2600-2608	Processo e' uma instancia de DustStorm Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto o argumento BadAirQuality e' um atributo de Objeto tem a forca modal de Likely vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	Processo e' uma instancia de Fogging eventLocated Processo and Regiao Regiao e' uma instancia de Area Geografica Objeto e' uma instancia de AtmosphericRegion Objeto e' Above em relacao a Regiao Objeto e' uma instancia de Aerosal locatedAtTime Objeto, tempo de existencia de Processo and Objeto visibilityInMeteorology Regiao, tempo de existencia de Processo and Numero Real Meter(s) Numero Real e' menos que 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 753-763	Processo e' uma instancia de Hurricane eventLocated Processo and Objeto Objeto e' uma instancia de Area Geografica Objeto e' situado em Objeto Objeto encontra Objeto Objeto e' igual a NortheasternPacificOcean Objeto e' igual a NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2566-2580	Processo e' uma instancia de AtmosphericHazing eventLocated Processo and Regiao Regiao e' uma instancia de Area Geografica Objeto e' uma instancia de AtmosphericRegion Objeto e' Above em relacao a Regiao locatedAtTime Objeto, tempo de existencia de Processo and Objeto visibilityInMeteorology Regiao, tempo de existencia de Processo and Numero Real Kilometer(s) Numero Real e' maior que 2.0 Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2590-2598	Processo e' uma instancia de AtmosphericHazing Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto o argumento BadAirQuality e' um atributo de Objeto tem a forca modal de Likely vale durante tempo de existencia de Processo
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

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.	Weather.kif 1651-1672	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	ContentBearingPhysical e' uma instancia de BirthCertificate Processo e' uma instancia de Nascimento AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and Entidade Entidade and Entidade birthdate AutonomousAgent and Entidade Entidade e' uma instancia de Dia birthplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26622-26624	UrbanArea e' um atributo de Objeto Objeto e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1254-1261	climateTypeInArea Area Geografica and ClimateZone Objeto Atributo Objeto e' uma instancia de Area Geografica Atributo e' uma instancia de ClimateZone Atributo e' um atributo de Objeto Objeto e' uma &parte de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	codeMapping ISO-3166-1-alpha-2, Sequencia Simbolica and Entidade Entidade e' uma instancia de Area Geografica Sequencia Simbolica e' uma instancia de AlphabeticString stringLength 2 and Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1901-1906	elevation Objeto and Medida de Comprimento Objeto Objeto e' uma instancia de Area Geografica Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6302-6312	Entidade e' uma instancia de Cactus o argumento Entidade Entidade e' uma instancia de Area Geografica Entidade e' situado em Entidade Entidade Entidade e' uma instancia de Drought eventLocated Entidade and Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1261-1273	Processo e' uma instancia de DustStorm Area Geografica Area Geografica e' uma instancia de Area Geografica climateTypeInArea Area Geografica and AridClimateZone eventLocated Processo and Area Geografica Area Geografica Area Geografica e' uma instancia de Area Geografica climateTypeInArea Area Geografica and SemiaridClimateZone eventLocated Processo and Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	Entidade e' uma instancia de Hurricane Processo Area Geografica and Numero Real Processo e' uma instancia de TropicalCyclone Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 74.0
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	Fisico e' uma instancia de GroundAttackMissile Fisico tem por fim Entidade Entidade and Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Area Geografica Fisico e' situado em Entidade Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13288-13293	Entidade e' uma instancia de Map Entidade Entidade e' uma instancia de Area Geografica Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1732-1742	Processo e' uma instancia de SurfaceWindSpeedMeasuring Objeto Objeto Objeto e' uma instancia de Area Geografica Objeto e' uma instancia de Aparelho eventLocated Processo and Objeto Objeto e' um instrumento para Processo elevation Objeto and 10.0 Meter(s) vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2642-2651	Processo e' uma instancia de Blizzard Regiao Numero Real Regiao e' uma instancia de Area Geografica eventLocated Processo and Regiao visibilityInMeteorology Regiao, tempo de existencia de Processo and Numero Real Meter(s) Numero Real e' menos que 400.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	Fisico e' uma instancia de Blizzard Entidade Entidade and Entidade Entidade e' uma instancia de Area Geografica eventLocated Fisico and Entidade surfaceWindSpeed Entidade and Entidade KnotUnitOfSpeed(s) Entidade e' maior que 35.0 a duracao de tempo de existencia de Fisico e' Entidade HourDuration(s) Entidade e' maior que 3 vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2940-2955	Fisico e' uma instancia de Snowstorm Entidade Entidade and Entidade Entidade e' uma instancia de Snowing Entidade e' uma instancia de Area Geografica eventLocated Entidade and Entidade Entidade e' um sub-processo de Fisico snowfallIntensity Entidade, tempo de existencia de Entidade and PerFn Entidade Centimeter(s) and 1 HourDuration(s) Entidade e' maior que 5.0 vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2905-2914	Fisico e' uma instancia de Storm Entidade Entidade Entidade e' uma instancia de Area Geografica surfaceWindSpeed Entidade and Entidade KnotUnitOfSpeed(s) Entidade e' maior que 30.0 vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2893-2903	Fisico e' uma instancia de Storm o argumento Entidade Entidade Entidade e' uma instancia de Precipitation Entidade e' uma instancia de Area Geografica eventLocated Entidade and Entidade Entidade e' um sub-processo de Fisico tem a forca modal de Likely vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 619-625	Processo e' uma instancia de TropicalCyclonicSystem Area Geografica Area Geografica e' uma instancia de Area Geografica geographicSubregion Area Geografica and Tropics Processo tem como origem Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 774-785	Entidade e' uma instancia de Typhoon EntidadeC Area Geografica and Numero Real EntidadeC e' uma instancia de TropicalCyclone Area Geografica e' uma instancia de Area Geografica eventLocated EntidadeC and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean10MinutesWindSpeedFn Area Geografica and tempo de existencia de EntidadeC Numero Real e' maior ou igual a 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	Processo e' uma instancia de TropicalCyclone Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-670	Processo e' uma instancia de TropicalDepression Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' menor ou igual a 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	Processo e' uma instancia de TropicalStorm Area Geografica Numero Real Area Geografica e' uma instancia de Area Geografica eventLocated Processo and Area Geografica Numero Real MilesPerHour(s) e' igual a Mean1MinuteWindSpeedFn Area Geografica and tempo de existencia de Processo Numero Real e' maior ou igual a 39.0 Numero Real e' menor ou igual a 74.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26427-26435	Entidade e' uma instancia de DiningGuide Objeto Fisico Objeto e' uma instancia de Area Geografica Entidade inclui uma referencia a Objeto Fisico e' uma instancia de Restaurant Fisico e' situado em Objeto Entidade inclui uma referencia a Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26415-26420	Entidade e' uma instancia de GuideBook Entidade Entidade e' uma instancia de Area Geografica Entidade inclui uma referencia a Entidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: