GeographicArea - Sigma 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 14079-14084
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 14078-14078	Secteur g�ographique est compl�tement d�compos� en plan d'eau + zone de terre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14077-14077	Secteur g�ographique est une sous-classe de r�gion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14069-14069	Corps astronomique est disjoint de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9095-9095	SpaceRegion est disjoint de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3623-3623	AntarcticArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3561-3561	ArcticRegion est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2644-2644	BetLidJunctionIsrael est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3594-3594	BishkekKyrgyzstan est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	BosphorousStraitsTurkey est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2686-2686	BwindiforestUganda est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 93-93	CaribbeanRegion est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 78-78	CentralAfrica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 100-100	CentralAsia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 84-84	CentralEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 95-95	CentralSouthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2731-2731	ClarkAirbasePhilippines est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2766-2766	DangDistrictNepal est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2787-2787	DistrictOfMansehraPakistan est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2808-2808	DushanbeAirportTajikistan est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 79-79	EasternAfrica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 101-101	EasternAsia est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 85-85	EasternEurope est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 96-96	EasternSouthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6946-6946	England est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2839-2839	FethiyeAndMarmarisTurkey est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2842-2842	FloridaUnitedStates est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1389-1389	GazaStrip est une instance de secteur g�ographique

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	Le nombre 1 argument de BorderFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	Le nombre 2 argument de BorderFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4857-4857	Le nombre 1 argument de DatumFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30654-30654	Le nombre 1 argument de DemonymFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 478-478	Le nombre 2 argument de DirectionalSubregionFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1957-1957	Le nombre 1 argument de ElevationHighPointFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1933-1933	Le nombre 1 argument de ElevationLowPointFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 335-335	Le nombre 1 argument de GeographicCenterFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6914-6914	Le nombre 2 argument de GeographicPartTypeFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2201-2201	Le nombre 1 argument de Mean10MinutesWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2306-2306	Le nombre 1 argument de Mean1MinuteWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2271-2271	Le nombre 1 argument de Mean2MinutesWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2236-2236	Le nombre 1 argument de Mean3MinutesWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1882-1882	Le nombre 1 argument de Mean3SecondWindSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1976-1976	Le nombre 1 argument de Mean3SecondWindSpeedListFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31760-31760	Le nombre 2 argument de OrganismPopulationFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6111-6111	Le nombre 1 argument de SeacoastFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6168-6168	Le nombre 1 argument de ShorelineFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2016-2016	Le nombre 1 argument de ThreeSecondGustSpeedFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2200-2200	Le nombre 2 argument de agentOperatesInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3075-3075	Le nombre 1 argument de airQualityIndex est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2072-2072	Le nombre 1 argument de arableLandArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22982-22982	Le nombre 3 argument de areaOfResponsibility est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1204-1204	Le nombre 1 argument de averagePrecipitationForPeriod est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1305-1305	Le nombre 1 argument de averageRainfallForPeriod est une instance de secteur g�ographique

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 objet and mesure de longueur objet est situ� � objet objet est une instance de secteur g�ographique objet est une partie superficielle de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	BorderFn secteur g�ographique and secteur g�ographique est une instance de secteur g�ographique secteur g�ographique est une instance de nation secteur g�ographique est une instance de nation BorderFn secteur g�ographique and secteur g�ographique est une instance de InternationalBorder
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1727-1733	Secteur g�ographique est une instance de secteur g�ographique TerrainAttribute est un attribut de objet TerrainAttribute est une instance de TerrainAttribute objet est partiellement localis� � secteur g�ographique terrainInArea secteur g�ographique and TerrainAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	Secteur g�ographique est une instance de secteur g�ographique geographicSubregion ElevationHighPointFn secteur g�ographique and secteur g�ographique elevation ElevationHighPointFn secteur g�ographique and nombre r�el unit� de mesure(s) secteur g�ographique nombre r�el geographicSubregion secteur g�ographique and secteur g�ographique secteur g�ographique est ElevationHighPointFn secteur g�ographique elevation secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	Secteur g�ographique est une instance de secteur g�ographique geographicSubregion ElevationLowPointFn secteur g�ographique and secteur g�ographique unit� de mesure est une instance de UnitOfLength elevation ElevationLowPointFn secteur g�ographique and nombre r�el unit� de mesure(s) secteur g�ographique nombre r�el geographicSubregion secteur g�ographique and secteur g�ographique secteur g�ographique est ElevationLowPointFn secteur g�ographique elevation secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1865-1870	Objet est une instance de secteur g�ographique processus est une instance de VolcanicEruption eventLocated processus and objet GeologicallyStable est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1858-1863	Objet est une instance de secteur g�ographique objet est une instance de Volcano VolcanicallyActive est un attribut de objet GeologicallyStable est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	Objet est une instance de secteur g�ographique physique est une instance de GeologicalFault physique est situ� � objet GeologicallyStable est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1575-1582	Secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de mois averageTemperatureForPeriod secteur g�ographique, interval temporel and nombre r�el CelsiusDegree(s) 10.0 est plus grand que nombre r�el climateTypeInArea secteur g�ographique and PolarClimateZone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1872-1877	Objet est une instance de secteur g�ographique processus est une instance de EarthTremor eventLocated processus and objet GeologicallyStable est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 876-882	R�gion est une instance de secteur g�ographique processus est une instance de ClearWeather eventLocated processus and r�gion cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est moins que 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 866-874	R�gion est une instance de secteur g�ographique processus est une instance de ClearWeather eventLocated processus and r�gion nombre r�el non n�gatif cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est moins que 0.3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 927-933	R�gion est une instance de secteur g�ographique processus est une instance de OvercastWeather eventLocated processus and r�gion cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est plus grand que 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 917-925	R�gion est une instance de secteur g�ographique processus est une instance de OvercastWeather eventLocated processus and r�gion nombre r�el non n�gatif cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est plus grand que 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 901-909	R�gion est une instance de secteur g�ographique processus est une instance de PartlyCloudyWeather eventLocated processus and r�gion cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est plus grand ou �gal � 0.3 nombre r�el non n�gatif est plus petit ou �gal � 0.7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 890-899	R�gion est une instance de secteur g�ographique processus est une instance de PartlyCloudyWeather eventLocated processus and r�gion nombre r�el non n�gatif cloudCoverFraction r�gion and nombre r�el non n�gatif nombre r�el non n�gatif est plus grand ou �gal � 0.3 nombre r�el non n�gatif est plus petit ou �gal � 0.7
No TPTP formula. May not be expressible in strict first order.	Geography.kif 493-498	Attribut directionnel est une instance de attribut directionnel secteur g�ographique est une instance de secteur g�ographique DirectionalSubregionFn attribut directionnel and secteur g�ographique est une instance de secteur g�ographique geographicSubregion DirectionalSubregionFn attribut directionnel and secteur g�ographique and secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	Attribut directionnel est une instance de attribut directionnel secteur g�ographique est une instance de secteur g�ographique DirectionalSubregionFn attribut directionnel and secteur g�ographique est une instance de secteur g�ographique DirectionalSubregionFn attribut directionnel and secteur g�ographique est attribut directionnel � GeographicCenterFn secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2583-2591	Processus est une instance de DustStorm objet est une instance de secteur g�ographique eventLocated processus and objet l'argument BadAirQuality est un attribut de objet a la force modale de Likely pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2520-2533	Processus est une instance de Fogging eventLocated processus and r�gion r�gion est une instance de secteur g�ographique objet est une instance de AtmosphericRegion objet est Above � r�gion objet est une instance de Aerosal locatedAtTime objet, temps d'existence de processus and objet visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Meter(s) nombre r�el est moins que 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 737-747	Processus est une instance de Hurricane eventLocated processus and objet objet est une instance de secteur g�ographique objet est situ� � objet objet rencontre objet objet est NortheasternPacificOcean objet est NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2549-2563	Processus est une instance de AtmosphericHazing eventLocated processus and r�gion r�gion est une instance de secteur g�ographique objet est une instance de AtmosphericRegion objet est Above � r�gion locatedAtTime objet, temps d'existence de processus and objet visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Kilometer(s) nombre r�el est plus grand que 2.0 nombre r�el est moins que 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2573-2581	Processus est une instance de AtmosphericHazing objet est une instance de secteur g�ographique eventLocated processus and objet l'argument BadAirQuality est un attribut de objet a la force modale de Likely pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14254-14260	Objet est une instance de �le objet est une instance de secteur g�ographique objet rencontre objet objet est une instance de zone de terre

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 1634-1655	Processus est une instance de Tornado processus est une instance de Rotating objet est une instance de Air processusRAN est une instance de Translocation processus est un sous-processus de processus processusRAN est un sous-processus de processus objet est un patient de processusRAN les entit�es dans le processus processusRAN bougent Horizontal objet objet en une partie, processusOP, objet en une partie, objet en une partie and objet en une partie objet est une instance de secteur g�ographique eventLocated processus and objet objet en une partie est une partie de objet ConeSegment est un attribut de objet en une partie le dessus de objet en une partie est processusOP l' arri�re de objet en une partie est objet en une partie objet en une partie est une instance de Cloud l' arri�re de objet en une partie est objet en une partie processusOP rencontre objet en une partie objet en une partie rencontre objet
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	ContentBearingPhysical est une instance de BirthCertificate processus est une instance de naissance AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and entit� entit� and entit� birthdate AutonomousAgent and entit� entit� est une instance de jour birthplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical est une instance de DeathCertificate processus est une instance de mort AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and processusAY entit�, entit� and entit�ROC deathdate AutonomousAgent and processusAY processusAY est une instance de jour deathplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name entit�ROC cause processus entit�ROC est une instance de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26655-26657	UrbanArea est un attribut de objet objet est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1254-1261	climateTypeInArea secteur g�ographique and ClimateZone objet attribut objet est une instance de secteur g�ographique attribut est une instance de ClimateZone attribut est un attribut de objet objet est une partie de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	codeMapping ISO-3166-1-alpha-2, cha�ne sympbolique and entit� entit� est une instance de secteur g�ographique cha�ne sympbolique est une instance de AlphabeticString stringLength 2 and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1901-1906	elevation objet and mesure de longueur objet objet est une instance de secteur g�ographique objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6302-6312	Entit� est une instance de Cactus l'argument entit� entit� est une instance de secteur g�ographique entit� est situ� � entit� entit� entit� est une instance de Drought eventLocated entit� and entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1257	Processus est une instance de DustStorm secteur g�ographique secteur g�ographique est une instance de secteur g�ographique climateTypeInArea secteur g�ographique and AridClimateZone eventLocated processus and secteur g�ographique secteur g�ographique secteur g�ographique est une instance de secteur g�ographique climateTypeInArea secteur g�ographique and SemiaridClimateZone eventLocated processus and secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 724-735	Entit� est une instance de Hurricane processus secteur g�ographique and nombre r�el processus est une instance de TropicalCyclone secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus grand ou �gal � 74.0
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	Physique est une instance de GroundAttackMissile physique a pour but entit� entit� and entit� physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de endommager entit� est une instance de secteur g�ographique physique est situ� � entit� entit� est situ� � entit� pendant le d�but de temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13315-13320	Entit� est une instance de Map entit� entit� est une instance de secteur g�ographique entit� d�finie entit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1715-1725	Processus est une instance de SurfaceWindSpeedMeasuring objet objet objet est une instance de secteur g�ographique objet est une instance de appareil eventLocated processus and objet objet est un instrument pour processus elevation objet and 10.0 Meter(s) pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2625-2634	Processus est une instance de Blizzard r�gion nombre r�el r�gion est une instance de secteur g�ographique eventLocated processus and r�gion visibilityInMeteorology r�gion, temps d'existence de processus and nombre r�el Meter(s) nombre r�el est moins que 400.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2610-2623	Physique est une instance de Blizzard entit� entit� and entit� entit� est une instance de secteur g�ographique eventLocated physique and entit� surfaceWindSpeed entit� and entit� KnotUnitOfSpeed(s) entit� est plus grand que 35.0 la dur�� de temps d'existence de physique est entit� HourDuration(s) entit� est plus grand que 3 pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2923-2938	Physique est une instance de Snowstorm entit� entit� and entit� entit� est une instance de Snowing entit� est une instance de secteur g�ographique eventLocated entit� and entit� entit� est un sous-processus de physique snowfallIntensity entit�, temps d'existence de entit� and PerFn entit� Centimeter(s) and 1 HourDuration(s) entit� est plus grand que 5.0 pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2888-2897	Physique est une instance de Storm entit� entit� entit� est une instance de secteur g�ographique surfaceWindSpeed entit� and entit� KnotUnitOfSpeed(s) entit� est plus grand que 30.0 pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2876-2886	Physique est une instance de Storm l'argument entit� entit� entit� est une instance de Precipitation entit� est une instance de secteur g�ographique eventLocated entit� and entit� entit� est un sous-processus de physique a la force modale de Likely pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 603-609	Processus est une instance de TropicalCyclonicSystem secteur g�ographique secteur g�ographique est une instance de secteur g�ographique geographicSubregion secteur g�ographique and Tropics processus a pour origine secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 758-769	Entit� est une instance de Typhoon entit�C secteur g�ographique and nombre r�el entit�C est une instance de TropicalCyclone secteur g�ographique est une instance de secteur g�ographique eventLocated entit�C and secteur g�ographique nombre r�el MilesPerHour(s) est Mean10MinutesWindSpeedFn secteur g�ographique and temps d'existence de entit�C nombre r�el est plus grand ou �gal � 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 665-675	Processus est une instance de TropicalCyclone secteur g�ographique nombre r�el secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus grand ou �gal � 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 644-654	Processus est une instance de TropicalDepression secteur g�ographique nombre r�el secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus petit ou �gal � 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 700-711	Processus est une instance de TropicalStorm secteur g�ographique nombre r�el secteur g�ographique est une instance de secteur g�ographique eventLocated processus and secteur g�ographique nombre r�el MilesPerHour(s) est Mean1MinuteWindSpeedFn secteur g�ographique and temps d'existence de processus nombre r�el est plus grand ou �gal � 39.0 nombre r�el est plus petit ou �gal � 74.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26460-26468	Entit� est une instance de DiningGuide objet physique objet est une instance de secteur g�ographique entit� inclut une r�f�rence � objet physique est une instance de Restaurant physique est situ� � objet entit� inclut une r�f�rence � physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26448-26453	Entit� est une instance de GuideBook entit� entit� est une instance de secteur g�ographique entit� inclut une r�f�rence � entit�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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: