(=>     (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2530-2532	Wenn exportPartnerByFractionInPeriod GeopoliticalArea, ** GeopoliticalArea, PositiveRealNumber and ** TimeInterval, dann ** PositiveRealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1275-1277	Wenn highestDecileShareOfHouseholdIncome GeopoliticalArea and RealNumber, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1257-1259	Wenn highestDecileShareOfHouseholdIncomeInPeriod GeopoliticalArea, RealNumber and ** TimeInterval, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (holdsDuring ?T         (and             (attribute ?L GoodAQIAirQuality)             (airQualityIndex ?L ?I)))     (lessThanOrEqualTo ?I 50))	Weather.kif 3105-3110	Wenn GoodAQIAirQuality ist ein attribut von entity %n{nicht} und airQualityIndex ** entity and RealNumber haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 50 %n{nicht}
(=>     (holdsDuring ?T         (and             (attribute ?L ModerateAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 100)         (greaterThanOrEqualTo ?I 51)))	Weather.kif 3118-3125	Wenn ModerateAQIAirQuality ist ein attribut von entity %n{nicht} und airQualityIndex ** entity and RealNumber haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 100 %n{nicht} und ** RealNumber ist groesserAlsOderGleich 51 %n{nicht}
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 200)         (greaterThanOrEqualTo ?I 151)))	Weather.kif 3146-3153	Wenn UnhealthyAQIAirQuality ist ein attribut von entity %n{nicht} und airQualityIndex ** entity and RealNumber haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 200 %n{nicht} und ** RealNumber ist groesserAlsOderGleich 151 %n{nicht}
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 300)         (greaterThanOrEqualTo ?I 201)))	Weather.kif 3160-3167	Wenn UnhealthyAQIAirQuality ist ein attribut von entity %n{nicht} und airQualityIndex ** entity and RealNumber haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 300 %n{nicht} und ** RealNumber ist groesserAlsOderGleich 201 %n{nicht}
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyForSensitiveAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 150)         (greaterThanOrEqualTo ?I 101)))	Weather.kif 3132-3139	Wenn UnhealthyForSensitiveAQIAirQuality ist ein attribut von entity %n{nicht} und airQualityIndex ** entity and RealNumber haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 150 %n{nicht} und ** RealNumber ist groesserAlsOderGleich 101 %n{nicht}
(=>     (holdsDuring ?TIME         (and             (instance ?BABY HumanBaby)             (age ?BABY                 (MeasureFn ?NUMBER YearDuration))))     (lessThanOrEqualTo ?NUMBER 1))	Mid-level-ontology.kif 375-380	Wenn entity ist ein fall von HumanBaby %n{nicht} und das alter von ** entity ist RealNumber YearDuration(s) %n{nicht} haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 1 %n{nicht}
(=>     (holdsDuring ?TIME         (and             (instance ?CHILD HumanChild)             (age ?CHILD                 (MeasureFn ?NUMBER YearDuration))))     (lessThanOrEqualTo ?NUMBER 14))	Mid-level-ontology.kif 294-299	Wenn entity ist ein fall von HumanChild %n{nicht} und das alter von ** entity ist RealNumber YearDuration(s) %n{nicht} haelt waehrend TimePosition %n{nicht}, dann ** RealNumber ist kleinerAlsOderGleich 14 %n{nicht}
(=>     (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2738-2740	Wenn importPartnerByFraction GeopoliticalArea, ** GeopoliticalArea and PositiveRealNumber, dann ** PositiveRealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2723-2725	Wenn importPartnerByFractionInPeriod GeopoliticalArea, ** GeopoliticalArea, PositiveRealNumber and ** TimeInterval, dann ** PositiveRealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (incomeDistributionByGiniIndex ?AREA ?INDEX)     (lessThanOrEqualTo ?INDEX 100.0))	Economy.kif 1313-1315	Wenn incomeDistributionByGiniIndex GeopoliticalArea and NonnegativeRealNumber, dann ** NonnegativeRealNumber ist kleinerAlsOderGleich 100.0 %n{nicht}
(=>     (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)     (lessThanOrEqualTo ?INDEX 100.0))	Economy.kif 1300-1302	Wenn incomeDistributionByGiniIndexInPeriod GeopoliticalArea, NonnegativeRealNumber and ** TimeInterval, dann ** NonnegativeRealNumber ist kleinerAlsOderGleich 100.0 %n{nicht}
(=>     (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1341-1343	Wenn inflationRateOfConsumerPricesInPeriod GeopoliticalArea, RealNumber and ** TimeInterval, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (instance ?BACTERIUM Bacterium)     (exists (?NUMBER)         (and             (width ?BACTERIUM                 (MeasureFn ?NUMBER Meter))             (greaterThanOrEqualTo ?NUMBER 0.000001)             (lessThanOrEqualTo ?NUMBER 0.000002))))	WMD.kif 205-211	Wenn Physical ist ein fall von Bacterium %n{nicht}, dann es gibt RealNumber um die breite von ** Physical ist ** RealNumber Meter(s) %n{nicht} und ** RealNumber ist groesserAlsOderGleich 0.000001 %n{nicht} und ** RealNumber ist kleinerAlsOderGleich 0.000002 %n{nicht}
(=>     (instance ?CITY AmericanCity)     (lessThanOrEqualTo         (CardinalityFn             (ResidentFn ?CITY))         (CardinalityFn             (ResidentFn NewYorkCityUnitedStates))))	CountriesAndRegions.kif 2131-2135	Wenn GeopoliticalArea ist ein fall von AmericanCity %n{nicht}, dann die Zahl Faellen in ResidentFn ** GeopoliticalArea ist kleinerAlsOderGleich die Zahl Faellen in ResidentFn NewYorkCityUnitedStates %n{nicht}
(=>     (instance ?DAY         (DayFn ?NUMBER ?MONTH))     (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 8621-8623	Wenn Entity ist ein fall von der tag PositiveInteger %n{nicht}, dann ** PositiveInteger ist kleinerAlsOderGleich 31 %n{nicht}
(=>     (instance ?DRIZZLE Drizzling)     (exists (?CLTN ?R ?SIZE)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?DRIZZLE ?CLTN)             (approximateDiameter ?R                 (MeasureFn ?SIZE Millimeter))             (modalAttribute                 (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 2799-2811	Wenn Transfer ist ein fall von Drizzling %n{nicht}, dann es gibt Collection, SelfConnectedObject, and und RealNumber um ** Collection ist ein fall von Collection %n{nicht} und ** SelfConnectedObject ist ein fall von Water %n{nicht} und ** SelfConnectedObject ist ein fall von LiquidDrop %n{nicht} und ** SelfConnectedObject ist ein Mitglied von ** Collection %n{nicht} und objectTransferred ** Transfer and ** Collection und approximateDiameter ** SelfConnectedObject and ** RealNumber Millimeter(s) und die Aussage ** RealNumber ist kleinerAlsOderGleich 0.5 %n{nicht} hat die modale Kraft von Likely
(=>     (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 656-666	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 712-723	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}
(=>     (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1415-1417	Wenn laborForceFractionByOccupation GeopoliticalArea, Attribute and RealNumber, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1399-1401	Wenn laborForceFractionByOccupationInPeriod GeopoliticalArea, Attribute, RealNumber and ** TimeInterval, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1229-1231	Wenn lowestDecileShareOfHouseholdIncome GeopoliticalArea and RealNumber, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
(=>     (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1212-1214	Wenn lowestDecileShareOfHouseholdIncomeInPeriod GeopoliticalArea, RealNumber and ** TimeInterval, dann ** RealNumber ist kleinerAlsOderGleich 1.0 %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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