TreeView Knowledge Base Browser

appearance as argument number 1

(documentation GeographicArea ChineseLanguage "这是一个地理位置，它一般拥有明确的界限。注：这个和它直接的超类别 Region 的区别在于，GeographicArea 是地球的三维 Region。因此除了地球以外，所有的天文物体与一维和二维 Region 都不被列入 GeographicArea。")	chinese_format.kif 1435-1437
(documentation GeographicArea EnglishLanguage "A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a three-dimensional Region of the earth. Accordingly, all astronomical objects other than earth and all one-dimensional and two-dimensional Regions are not classed under GeographicArea.")	Merge.kif 14033-14038
(externalImage GeographicArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Geabios3d.jpg")	pictureList.kif 8502-8502
(partition GeographicArea WaterArea LandArea)	Merge.kif 14032-14032	GeographicArea wird vollstaendig in WaterArea und LandArea verteilt
(subclass GeographicArea Region)	Merge.kif 14031-14031	GeographicArea ist eine teilkategorie von Region

appearance as argument number 2

(disjoint AstronomicalBody GeographicArea)	Merge.kif 14023-14023	AstronomicalBody ist dijunkt von GeographicArea %n{nicht}
(disjoint SpaceRegion GeographicArea)	Mid-level-ontology.kif 9068-9068	SpaceRegion ist dijunkt von GeographicArea %n{nicht}
(instance AntarcticArea GeographicArea)	Geography.kif 3623-3623	AntarcticArea ist ein fall von GeographicArea %n{nicht}
(instance ArcticRegion GeographicArea)	Geography.kif 3561-3561	ArcticRegion ist ein fall von GeographicArea %n{nicht}
(instance BetLidJunctionIsrael GeographicArea)	CountriesAndRegions.kif 2644-2644	BetLidJunctionIsrael ist ein fall von GeographicArea %n{nicht}
(instance BishkekKyrgyzstan GeographicArea)	CountriesAndRegions.kif 3594-3594	BishkekKyrgyzstan ist ein fall von GeographicArea %n{nicht}
(instance BosphorousStraitsTurkey GeographicArea)	CountriesAndRegions.kif 2669-2669	BosphorousStraitsTurkey ist ein fall von GeographicArea %n{nicht}
(instance BwindiforestUganda GeographicArea)	CountriesAndRegions.kif 2686-2686	BwindiforestUganda ist ein fall von GeographicArea %n{nicht}
(instance CaribbeanRegion GeographicArea)	Geography.kif 93-93	CaribbeanRegion ist ein fall von GeographicArea %n{nicht}
(instance CentralAfrica GeographicArea)	Geography.kif 78-78	CentralAfrica ist ein fall von GeographicArea %n{nicht}
(instance CentralAsia GeographicArea)	Geography.kif 100-100	CentralAsia ist ein fall von GeographicArea %n{nicht}
(instance CentralEurope GeographicArea)	Geography.kif 84-84	CentralEurope ist ein fall von GeographicArea %n{nicht}
(instance CentralSouthAmerica GeographicArea)	Geography.kif 95-95	CentralSouthAmerica ist ein fall von GeographicArea %n{nicht}
(instance ClarkAirbasePhilippines GeographicArea)	CountriesAndRegions.kif 2731-2731	ClarkAirbasePhilippines ist ein fall von GeographicArea %n{nicht}
(instance DangDistrictNepal GeographicArea)	CountriesAndRegions.kif 2766-2766	DangDistrictNepal ist ein fall von GeographicArea %n{nicht}
(instance DistrictOfMansehraPakistan GeographicArea)	CountriesAndRegions.kif 2787-2787	DistrictOfMansehraPakistan ist ein fall von GeographicArea %n{nicht}
(instance DushanbeAirportTajikistan GeographicArea)	CountriesAndRegions.kif 2808-2808	DushanbeAirportTajikistan ist ein fall von GeographicArea %n{nicht}
(instance EasternAfrica GeographicArea)	Geography.kif 79-79	EasternAfrica ist ein fall von GeographicArea %n{nicht}
(instance EasternAsia GeographicArea)	Geography.kif 101-101	EasternAsia ist ein fall von GeographicArea %n{nicht}
(instance EasternEurope GeographicArea)	Geography.kif 85-85	EasternEurope ist ein fall von GeographicArea %n{nicht}
(instance EasternSouthAmerica GeographicArea)	Geography.kif 96-96	EasternSouthAmerica ist ein fall von GeographicArea %n{nicht}
(instance England GeographicArea)	Geography.kif 6946-6946	England ist ein fall von GeographicArea %n{nicht}
(instance FethiyeAndMarmarisTurkey GeographicArea)	CountriesAndRegions.kif 2839-2839	FethiyeAndMarmarisTurkey ist ein fall von GeographicArea %n{nicht}
(instance FloridaUnitedStates GeographicArea)	CountriesAndRegions.kif 2842-2842	FloridaUnitedStates ist ein fall von GeographicArea %n{nicht}
(instance GazaStrip GeographicArea)	CountriesAndRegions.kif 1389-1389	GazaStrip ist ein fall von GeographicArea %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain BorderFn 1 GeographicArea)	Geography.kif 688-688	Die Zahl 1 Argument von BorderFn ist ein fall von GeographicArea %n{nicht}
(domain BorderFn 2 GeographicArea)	Geography.kif 689-689	Die Zahl 2 Argument von BorderFn ist ein fall von GeographicArea %n{nicht}
(domain DatumFn 1 GeographicArea)	Geography.kif 4857-4857	Die Zahl 1 Argument von DatumFn ist ein fall von GeographicArea %n{nicht}
(domain DemonymFn 1 GeographicArea)	Mid-level-ontology.kif 30630-30630	Die Zahl 1 Argument von DemonymFn ist ein fall von GeographicArea %n{nicht}
(domain DirectionalSubregionFn 2 GeographicArea)	Geography.kif 478-478	Die Zahl 2 Argument von DirectionalSubregionFn ist ein fall von GeographicArea %n{nicht}
(domain ElevationHighPointFn 1 GeographicArea)	Geography.kif 1957-1957	Die Zahl 1 Argument von ElevationHighPointFn ist ein fall von GeographicArea %n{nicht}
(domain ElevationLowPointFn 1 GeographicArea)	Geography.kif 1933-1933	Die Zahl 1 Argument von ElevationLowPointFn ist ein fall von GeographicArea %n{nicht}
(domain GeographicCenterFn 1 GeographicArea)	Geography.kif 335-335	Die Zahl 1 Argument von GeographicCenterFn ist ein fall von GeographicArea %n{nicht}
(domain GeographicPartTypeFn 2 GeographicArea)	Geography.kif 6914-6914	Die Zahl 2 Argument von GeographicPartTypeFn ist ein fall von GeographicArea %n{nicht}
(domain Mean10MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 2218-2218	Die Zahl 1 Argument von Mean10MinutesWindSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain Mean1MinuteWindSpeedFn 1 GeographicArea)	Weather.kif 2323-2323	Die Zahl 1 Argument von Mean1MinuteWindSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain Mean2MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 2288-2288	Die Zahl 1 Argument von Mean2MinutesWindSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain Mean3MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 2253-2253	Die Zahl 1 Argument von Mean3MinutesWindSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 1899-1899	Die Zahl 1 Argument von Mean3SecondWindSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain Mean3SecondWindSpeedListFn 1 GeographicArea)	Weather.kif 1993-1993	Die Zahl 1 Argument von Mean3SecondWindSpeedListFn ist ein fall von GeographicArea %n{nicht}
(domain OrganismPopulationFn 2 GeographicArea)	Mid-level-ontology.kif 31728-31728	Die Zahl 2 Argument von OrganismPopulationFn ist ein fall von GeographicArea %n{nicht}
(domain SeacoastFn 1 GeographicArea)	Geography.kif 6111-6111	Die Zahl 1 Argument von SeacoastFn ist ein fall von GeographicArea %n{nicht}
(domain ShorelineFn 1 GeographicArea)	Geography.kif 6168-6168	Die Zahl 1 Argument von ShorelineFn ist ein fall von GeographicArea %n{nicht}
(domain ThreeSecondGustSpeedFn 1 GeographicArea)	Weather.kif 2033-2033	Die Zahl 1 Argument von ThreeSecondGustSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain agentOperatesInArea 2 GeographicArea)	Government.kif 2236-2236	Die Zahl 2 Argument von agentOperatesInArea ist ein fall von GeographicArea %n{nicht}
(domain airQualityIndex 1 GeographicArea)	Weather.kif 3092-3092	Die Zahl 1 Argument von airQualityIndex ist ein fall von GeographicArea %n{nicht}
(domain arableLandArea 1 GeographicArea)	Geography.kif 2072-2072	Die Zahl 1 Argument von arableLandArea ist ein fall von GeographicArea %n{nicht}
(domain areaOfResponsibility 3 GeographicArea)	Mid-level-ontology.kif 22930-22930	Die Zahl 3 Argument von areaOfResponsibility ist ein fall von GeographicArea %n{nicht}
(domain averagePrecipitationForPeriod 1 GeographicArea)	Weather.kif 1220-1220	Die Zahl 1 Argument von averagePrecipitationForPeriod ist ein fall von GeographicArea %n{nicht}
(domain averageRainfallForPeriod 1 GeographicArea)	Geography.kif 1305-1305	Die Zahl 1 Argument von averageRainfallForPeriod ist ein fall von GeographicArea %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 1907-1912	Wenn elevation Object and LengthMeasure und Object befindet sich an %n{nicht} und Object ist ein fall von GeographicArea %n{nicht}, dann Object ist ein oberflaechliches teil von PlanetEarth %n{nicht}
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES)))))	MilitaryPersons.kif 26-47	Wenn DislocatedCivilian ist ein attribut von entity %n{nicht} und entity wohnt in entity und entity befindet sich an %n{nicht} haelt waehrend TimeInterval %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und TimeInterval ist ein fall von TimeInterval %n{nicht}, dann es gibt TimeInterval, entity-PLACE, and und entity-RES um TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und entity-RES ist ein fall von Object %n{nicht} und entity-PLACE ist ein fall von GeopoliticalArea %n{nicht} und entity-RES befindet sich an %n{nicht} und GeographicArea ist gleich entity-PLACE nicht und entity ist gleich entity-RES nicht und geographicSubregion GeographicArea and entity-PLACE und geographicSubregion entity-PLACE and GeographicArea und entity wohnt in entity-RES haelt waehrend TimeInterval %n{nicht}
(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))	Geography.kif 705-710	Wenn BorderFn GeographicArea and GeographicArea ist ein fall von GeographicArea %n{nicht} und GeographicArea ist ein fall von Nation %n{nicht} und GeographicArea ist ein fall von Nation %n{nicht}, dann BorderFn GeographicArea and ** GeographicArea ist ein fall von InternationalBorder %n{nicht}
(=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE))	Geography.kif 1727-1733	Wenn GeographicArea ist ein fall von GeographicArea %n{nicht} und TerrainAttribute ist ein attribut von Object %n{nicht} und TerrainAttribute ist ein fall von TerrainAttribute %n{nicht} und Object befindet sich teils an %n{nicht}, dann terrainInArea GeographicArea and TerrainAttribute
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) (MeasureFn ?ELEV1 ?UNIT))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?UNIT)) (greaterThan ?ELEV2 ?ELEV1)))))	Geography.kif 1964-1975	Wenn GeographicArea ist ein fall von GeographicArea %n{nicht} und geographicSubregion ElevationHighPointFn GeographicArea and GeographicArea und elevation ElevationHighPointFn GeographicArea and RealNumber UnitOfMeasure(s), dann es gibt nicht GeographicArea und RealNumber um geographicSubregion GeographicArea and GeographicArea und GeographicArea ist gleich ElevationHighPointFn GeographicArea nicht und elevation GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist groesserAls ** RealNumber %n{nicht}
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1)))))	Geography.kif 1940-1954	Wenn GeographicArea ist ein fall von GeographicArea %n{nicht} und geographicSubregion ElevationLowPointFn GeographicArea and GeographicArea und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und elevation ElevationLowPointFn GeographicArea and RealNumber UnitOfMeasure(s), dann es gibt nicht GeographicArea und RealNumber um geographicSubregion GeographicArea and GeographicArea und GeographicArea ist gleich ElevationLowPointFn GeographicArea nicht und elevation GeographicArea and RealNumber UnitOfMeasure(s) und RealNumber ist kleinerAls RealNumber %n{nicht}
(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1865-1870	Wenn Object ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von VolcanicEruption %n{nicht} und eventLocated Process and Object, dann GeologicallyStable ist ein attribut von ** Object nicht
(=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1858-1863	Wenn Object ist ein fall von GeographicArea %n{nicht} und Object ist ein fall von Volcano %n{nicht} und VolcanicallyActive ist ein attribut von Object %n{nicht}, dann GeologicallyStable ist ein attribut von Object nicht
(=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1879-1884	Wenn Object ist ein fall von GeographicArea %n{nicht} und Physical ist ein fall von GeologicalFault %n{nicht} und Physical befindet sich an %n{nicht}, dann GeologicallyStable ist ein attribut von Object nicht
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 1575-1582	Wenn GeographicArea ist ein fall von GeographicArea %n{nicht} und TimeInterval ist ein fall von Month %n{nicht} und averageTemperatureForPeriod GeographicArea, TimeInterval and RealNumber CelsiusDegree(s) und 10.0 ist groesserAls RealNumber %n{nicht}, dann climateTypeInArea GeographicArea and PolarClimateZone
(=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1872-1877	Wenn Object ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von EarthTremor %n{nicht} und eventLocated Process and Object, dann GeologicallyStable ist ein attribut von ** Object nicht
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3))	Weather.kif 892-898	Wenn Region ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von ClearWeather %n{nicht} und eventLocated Process and Region und cloudCoverFraction Region and NonnegativeRealNumber, dann NonnegativeRealNumber ist kleinerAls 0.3 %n{nicht}
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3))))	Weather.kif 882-890	Wenn Region ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von ClearWeather %n{nicht} und eventLocated Process and Region, dann es gibt NonnegativeRealNumber um cloudCoverFraction Region and NonnegativeRealNumber und ** NonnegativeRealNumber ist kleinerAls 0.3 %n{nicht}
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7))	Weather.kif 943-949	Wenn Region ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von OvercastWeather %n{nicht} und eventLocated Process and Region und cloudCoverFraction Region and NonnegativeRealNumber, dann NonnegativeRealNumber ist groesserAls 0.7 %n{nicht}
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7))))	Weather.kif 933-941	Wenn Region ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von OvercastWeather %n{nicht} und eventLocated Process and Region, dann es gibt NonnegativeRealNumber um cloudCoverFraction Region and NonnegativeRealNumber und ** NonnegativeRealNumber ist groesserAls 0.7 %n{nicht}
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7)))	Weather.kif 917-925	Wenn Region ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von PartlyCloudyWeather %n{nicht} und eventLocated Process and Region und cloudCoverFraction Region and NonnegativeRealNumber, dann NonnegativeRealNumber ist groesserAlsOderGleich 0.3 %n{nicht} und ** NonnegativeRealNumber ist kleinerAlsOderGleich 0.7 %n{nicht}
(=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))))	Weather.kif 906-915	Wenn Region ist ein fall von GeographicArea %n{nicht} und Process ist ein fall von PartlyCloudyWeather %n{nicht} und eventLocated Process and Region, dann es gibt NonnegativeRealNumber um cloudCoverFraction Region and NonnegativeRealNumber und NonnegativeRealNumber ist groesserAlsOderGleich 0.3 %n{nicht} und NonnegativeRealNumber ist kleinerAlsOderGleich 0.7 %n{nicht}
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))	Geography.kif 493-498	Wenn DirectionalAttribute ist ein fall von DirectionalAttribute %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und DirectionalSubregionFn DirectionalAttribute and GeographicArea ist ein fall von GeographicArea %n{nicht}, dann geographicSubregion DirectionalSubregionFn DirectionalAttribute and GeographicArea and ** GeographicArea
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION))	Geography.kif 500-505	Wenn DirectionalAttribute ist ein fall von DirectionalAttribute %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und DirectionalSubregionFn DirectionalAttribute and GeographicArea ist ein fall von GeographicArea %n{nicht}, dann DirectionalSubregionFn DirectionalAttribute and GeographicArea ist DirectionalAttribute hinsichlich GeographicCenterFn GeographicArea %n{nicht}
(=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2600-2608	Wenn Process ist ein fall von DustStorm %n{nicht} und Object ist ein fall von GeographicArea %n{nicht} und eventLocated Process and Object, dann die Aussage BadAirQuality ist ein attribut von Object %n{nicht} hat die modale Kraft von Likely haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0))	Weather.kif 2537-2550	Wenn Process ist ein fall von Fogging %n{nicht} und eventLocated Process and Region und Region ist ein fall von GeographicArea %n{nicht} und Object ist ein fall von AtmosphericRegion %n{nicht} und Object ist Above hinsichlich Region %n{nicht} und Object ist ein fall von Aerosal %n{nicht} und locatedAtTime Object, die zeit des Bestehens von Process and Object und visibilityInMeteorology Region, die zeit des Bestehens von Process and RealNumber Meter(s), dann RealNumber ist kleinerAls 1000.0 %n{nicht}
(=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NortheasternPacificOcean) (equal ?SEA NorthAtlanticOcean)))	Weather.kif 753-763	Wenn Process ist ein fall von Hurricane %n{nicht} und eventLocated Process and Object und Object ist ein fall von GeographicArea %n{nicht} und Object befindet sich an %n{nicht} oder Object schliesst Object raeumlich an, dann Object ist gleich NortheasternPacificOcean %n{nicht} oder ** Object ist gleich NorthAtlanticOcean %n{nicht}
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0)))	Weather.kif 2566-2580	Wenn Process ist ein fall von AtmosphericHazing %n{nicht} und eventLocated Process and Region und Region ist ein fall von GeographicArea %n{nicht} und Object ist ein fall von AtmosphericRegion %n{nicht} und Object ist Above hinsichlich Region %n{nicht} und locatedAtTime Object, die zeit des Bestehens von Process and Object und visibilityInMeteorology Region, die zeit des Bestehens von Process and RealNumber Kilometer(s), dann RealNumber ist groesserAls 2.0 %n{nicht} und ** RealNumber ist kleinerAls 5.0 %n{nicht}
(=> (and (instance ?HAZE AtmosphericHazing) (instance ?PLACE GeographicArea) (eventLocated ?HAZE ?PLACE)) (holdsDuring (WhenFn ?HAZE) (modalAttribute (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2590-2598	Wenn Process ist ein fall von AtmosphericHazing %n{nicht} und Object ist ein fall von GeographicArea %n{nicht} und eventLocated Process and Object, dann die Aussage BadAirQuality ist ein attribut von Object %n{nicht} hat die modale Kraft von Likely haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea)))	Merge.kif 14208-14214	Wenn Object ist ein fall von Island %n{nicht} und Object ist ein fall von GeographicArea %n{nicht} und Object schliesst Object raeumlich an, dann Object ist ein fall von LandArea nicht

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1651-1672	Wenn Process ist ein fall von Tornado %n{nicht} und Process ist ein fall von Rotating %n{nicht} und Object ist ein fall von Air %n{nicht} und ProcessRAN ist ein fall von Translocation %n{nicht} und Process ist ein subProzess von Process und ProcessRAN ist ein subProzess von Process und Object ist ein patient von ProcessRAN %n{nicht} und Wesen bei ProcessRAN bewegen Horizontal, dann es gibt Object, SelfConnectedObject,, , ProcessOP,, , SelfConnectedObject,, , SelfConnectedObject, and und SelfConnectedObject um Object ist ein fall von GeographicArea %n{nicht} und eventLocated Process and Object und SelfConnectedObject ist ein teil von Object %n{nicht} und ConeSegment ist ein attribut von SelfConnectedObject %n{nicht} und die oberseite von SelfConnectedObject ist ProcessOP und die unterseite von SelfConnectedObject ist SelfConnectedObject und SelfConnectedObject ist ein fall von Cloud %n{nicht} und die unterseite von SelfConnectedObject ist SelfConnectedObject und ProcessOP schliesst SelfConnectedObject raeumlich an und SelfConnectedObject schliesst Object raeumlich an
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name)))))	Biography.kif 250-264	Wenn ContentBearingPhysical ist ein fall von BirthCertificate %n{nicht} und Process ist ein fall von Birth %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt entity, entity, and und entity um birthdate AutonomousAgent and entity und entity ist ein fall von Day %n{nicht} und birthplace AutonomousAgent and entity und entity ist ein fall von GeographicArea %n{nicht} und entity drueckt AutonomousAgent aus und entity ist ein fall von Name %n{nicht}
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process)))))	Biography.kif 280-296	Wenn ContentBearingPhysical ist ein fall von DeathCertificate %n{nicht} und Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt ProcessAY, entity,, , entity, and und entityROC um deathdate AutonomousAgent and ProcessAY und ProcessAY ist ein fall von Day %n{nicht} und deathplace AutonomousAgent and entity und entity ist ein fall von GeographicArea %n{nicht} und entity drueckt AutonomousAgent aus und entity ist ein fall von Name %n{nicht} und entityROC verursacht Process %n{nicht} und entityROC ist ein fall von Process %n{nicht}
(=> (attribute ?A UrbanArea) (instance ?A GeographicArea))	Mid-level-ontology.kif 26622-26624	Wenn UrbanArea ist ein attribut von Object %n{nicht}, dann ** Object ist ein fall von GeographicArea %n{nicht}
(=> (climateTypeInArea ?AREA ?CLASS) (exists (?REGION ?TYPE) (and (instance ?REGION GeographicArea) (instance ?TYPE ?CLASS) (attribute ?REGION ?TYPE) (part ?REGION ?AREA))))	Geography.kif 1254-1261	Wenn climateTypeInArea GeographicArea and ClimateZone, dann es gibt Object und Attribute um Object ist ein fall von GeographicArea %n{nicht} und Attribute ist ein fall von ClimateZone %n{nicht} und Attribute ist ein attribut von Object %n{nicht} und Object ist ein teil von GeographicArea %n{nicht}
(=> (codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN)))	Media.kif 2636-2641	Wenn codeMapping ISO-3166-1-alpha-2, SymbolicString and Entity, dann Entity ist ein fall von GeographicArea %n{nicht} und SymbolicString ist ein fall von AlphabeticString %n{nicht} und stringLength 2 and ** SymbolicString
(=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE))))	Geography.kif 1901-1906	Wenn elevation Object and LengthMeasure, dann es gibt Object um Object ist ein fall von GeographicArea %n{nicht} und Object befindet sich an %n{nicht}
(=> (instance ?CAC Cactus) (modalAttribute (exists (?AREA) (and (instance ?AREA GeographicArea) (located ?CAC ?AREA) (exists (?D) (and (instance ?D Drought) (eventLocated ?D ?AREA))))) Likely))	Geography.kif 6302-6312	Wenn Entity ist ein fall von Cactus %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von GeographicArea %n{nicht} und Entity befindet sich an %n{nicht} und es gibt entity um entity ist ein fall von Drought %n{nicht} und eventLocated entity and ** entity hat die modale Kraft von Likely
(=> (instance ?DUSTSTORM DustStorm) (or (exists (?AREA1) (and (instance ?AREA1 GeographicArea) (climateTypeInArea ?AREA1 AridClimateZone) (eventLocated ?DUSTSTORM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeographicArea) (climateTypeInArea ?AREA2 SemiaridClimateZone) (eventLocated ?DUSTSTORM ?AREA2)))))	Weather.kif 1261-1273	Wenn Process ist ein fall von DustStorm %n{nicht}, dann es gibt GeographicArea um GeographicArea ist ein fall von GeographicArea %n{nicht} und climateTypeInArea GeographicArea and AridClimateZone und eventLocated Process and GeographicArea oder es gibt GeographicArea um GeographicArea ist ein fall von GeographicArea %n{nicht} und climateTypeInArea GeographicArea and SemiaridClimateZone und eventLocated Process and GeographicArea
(=> (instance ?H Hurricane) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 74.0))))	Weather.kif 740-751	Wenn Entity ist ein fall von Hurricane %n{nicht}, dann es gibt Process, GeographicArea, and und RealNumber um Process ist ein fall von TropicalCyclone %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und eventLocated Process and GeographicArea und RealNumber MilesPerHour(s) ist gleich Mean1MinuteWindSpeedFn GeographicArea and die zeit des Bestehens von Process %n{nicht} und RealNumber ist groesserAlsOderGleich 74.0 %n{nicht}
(=> (instance ?M GroundAttackMissile) (hasPurpose ?M (exists (?OBJ ?REGION ?DAMAGE) (and (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?DAMAGE Damaging) (instance ?REGION GeographicArea) (holdsDuring (BeginFn (WhenFn ?DAMAGE)) (and (located ?M ?REGION) (located ?OBJ ?REGION)))))))	MilitaryDevices.kif 999-1013	Wenn Physical ist ein fall von GroundAttackMissile %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um Physical ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Damaging %n{nicht} und entity ist ein fall von GeographicArea %n{nicht} und Physical befindet sich an %n{nicht} und entity befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (instance ?M Map) (exists (?A) (and (instance ?A GeographicArea) (represents ?M ?A))))	Mid-level-ontology.kif 13288-13293	Wenn Entity ist ein fall von Map %n{nicht}, dann es gibt Entity um Entity ist ein fall von GeographicArea %n{nicht} und Entity drueckt Entity aus
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter))))))	Weather.kif 1732-1742	Wenn Process ist ein fall von SurfaceWindSpeedMeasuring %n{nicht}, dann es gibt Object und Object um Object ist ein fall von GeographicArea %n{nicht} und Object ist ein fall von Device %n{nicht} und eventLocated Process and Object und Object ist ein instrument fuer Process %n{nicht} und elevation Object and 10.0 Meter(s) haelt waehrend die zeit des Bestehens von Process %n{nicht}
(=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0))))	Weather.kif 2642-2651	Wenn Process ist ein fall von Blizzard %n{nicht}, dann es gibt Region und RealNumber um Region ist ein fall von GeographicArea %n{nicht} und eventLocated Process and Region und visibilityInMeteorology Region, die zeit des Bestehens von Process and RealNumber Meter(s) und ** RealNumber ist kleinerAls 400.0 %n{nicht}
(=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3)))))	Weather.kif 2627-2640	Wenn Physical ist ein fall von Blizzard %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von GeographicArea %n{nicht} und eventLocated Physical and entity und surfaceWindSpeed entity and entity KnotUnitOfSpeed(s) und entity ist groesserAls 35.0 %n{nicht} und dauer von die zeit des Bestehens von Physical ist entity HourDuration(s) %n{nicht} und entity ist groesserAls 3 %n{nicht} haelt waehrend die zeit des Bestehens von Physical %n{nicht}
(=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5.0)))))	Weather.kif 2940-2955	Wenn Physical ist ein fall von Snowstorm %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von Snowing %n{nicht} und entity ist ein fall von GeographicArea %n{nicht} und eventLocated entity and entity und entity ist ein subProzess von Physical und snowfallIntensity entity, die zeit des Bestehens von entity and PerFn entity Centimeter(s) and 1 HourDuration(s) und entity ist groesserAls 5.0 %n{nicht} haelt waehrend die zeit des Bestehens von Physical %n{nicht}
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?AREA ?STRONG) (and (instance ?AREA GeographicArea) (surfaceWindSpeed ?AREA (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0)))))	Weather.kif 2905-2914	Wenn Physical ist ein fall von Storm %n{nicht}, dann es gibt entity und entity um entity ist ein fall von GeographicArea %n{nicht} und surfaceWindSpeed entity and entity KnotUnitOfSpeed(s) und entity ist groesserAls 30.0 %n{nicht} haelt waehrend die zeit des Bestehens von Physical %n{nicht}
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (modalAttribute (exists (?P ?AREA) (and (instance ?P Precipitation) (instance ?AREA GeographicArea) (eventLocated ?P ?AREA) (subProcess ?P ?STORM))) Likely)))	Weather.kif 2893-2903	Wenn Physical ist ein fall von Storm %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Precipitation %n{nicht} und entity ist ein fall von GeographicArea %n{nicht} und eventLocated entity and entity und entity ist ein subProzess von Physical hat die modale Kraft von Likely haelt waehrend die zeit des Bestehens von Physical %n{nicht}
(=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE))))	Weather.kif 619-625	Wenn Process ist ein fall von TropicalCyclonicSystem %n{nicht}, dann es gibt GeographicArea um GeographicArea ist ein fall von GeographicArea %n{nicht} und geographicSubregion GeographicArea and Tropics und Process beginnet an GeographicArea %n{nicht}
(=> (instance ?T Typhoon) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean10MinutesWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 64.0))))	Weather.kif 774-785	Wenn Entity ist ein fall von Typhoon %n{nicht}, dann es gibt EntityC, GeographicArea, and und RealNumber um EntityC ist ein fall von TropicalCyclone %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und eventLocated EntityC and GeographicArea und RealNumber MilesPerHour(s) ist gleich Mean10MinutesWindSpeedFn GeographicArea and die zeit des Bestehens von EntityC %n{nicht} und ** RealNumber ist groesserAlsOderGleich 64.0 %n{nicht}
(=> (instance ?TC TropicalCyclone) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 44.0))))	Weather.kif 681-691	Wenn Process ist ein fall von TropicalCyclone %n{nicht}, dann es gibt GeographicArea und RealNumber um GeographicArea ist ein fall von GeographicArea %n{nicht} und eventLocated Process and GeographicArea und RealNumber MilesPerHour(s) ist gleich Mean1MinuteWindSpeedFn GeographicArea and die zeit des Bestehens von Process %n{nicht} und ** RealNumber ist groesserAlsOderGleich 44.0 %n{nicht}
(=> (instance ?TD TropicalDepression) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TD ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TD))) (lessThanOrEqualTo ?WIND 38.0))))	Weather.kif 660-670	Wenn Process ist ein fall von TropicalDepression %n{nicht}, dann es gibt GeographicArea und RealNumber um GeographicArea ist ein fall von GeographicArea %n{nicht} und eventLocated Process and GeographicArea und RealNumber MilesPerHour(s) ist gleich Mean1MinuteWindSpeedFn GeographicArea and die zeit des Bestehens von Process %n{nicht} und ** RealNumber ist kleinerAlsOderGleich 38.0 %n{nicht}
(=> (instance ?TS TropicalStorm) (exists (?PLACE ?WIND) (and (instance ?PLACE GeographicArea) (eventLocated ?TS ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean1MinuteWindSpeedFn ?PLACE (WhenFn ?TS))) (greaterThanOrEqualTo ?WIND 39.0) (lessThanOrEqualTo ?WIND 74.0))))	Weather.kif 716-727	Wenn Process ist ein fall von TropicalStorm %n{nicht}, dann es gibt GeographicArea und RealNumber um GeographicArea ist ein fall von GeographicArea %n{nicht} und eventLocated Process and GeographicArea und RealNumber MilesPerHour(s) ist gleich Mean1MinuteWindSpeedFn GeographicArea and die zeit des Bestehens von Process %n{nicht} und RealNumber ist groesserAlsOderGleich 39.0 %n{nicht} und RealNumber ist kleinerAlsOderGleich 74.0 %n{nicht}
(=> (instance ?X DiningGuide) (exists (?LOC ?REST) (and (instance ?LOC GeographicArea) (refers ?X ?LOC) (instance ?REST Restaurant) (located ?REST ?LOC) (refers ?X ?REST))))	Mid-level-ontology.kif 26427-26435	Wenn Entity ist ein fall von DiningGuide %n{nicht}, dann es gibt Object und Physical um Object ist ein fall von GeographicArea %n{nicht} und Entity umfasst einen hinweis auf Object und Physical ist ein fall von Restaurant %n{nicht} und Physical befindet sich an %n{nicht} und Entity umfasst einen hinweis auf ** Physical
(=> (instance ?X GuideBook) (exists (?LOC) (and (instance ?LOC GeographicArea) (refers ?X ?LOC))))	Mid-level-ontology.kif 26415-26420	Wenn Entity ist ein fall von GuideBook %n{nicht}, dann es gibt Entity um Entity ist ein fall von GeographicArea %n{nicht} und Entity umfasst einen hinweis auf Entity

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: