(=>     (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2530-2532	If a geopolitical area export partner by fraction in period another geopolitical area for a positive real number with a kind of time interval, then the positive real number is less than or equal to 1.0
(=>     (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1275-1277	If a real number is a highest decile share of household income of a geopolitical area, then the real number is less than or equal to 1.0
(=>     (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1257-1259	If a geopolitical area is highest decile share of household income in period a real number for a kind of time interval, then the real number is less than or equal to 1.0
(=>     (holdsDuring ?T         (and             (attribute ?L GoodAQIAirQuality)             (airQualityIndex ?L ?I)))     (lessThanOrEqualTo ?I 50))	Weather.kif 3109-3114	If good AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 50
(=>     (holdsDuring ?T         (and             (attribute ?L ModerateAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 100)         (greaterThanOrEqualTo ?I 51)))	Weather.kif 3122-3129	If moderate AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 100 and the real number is greater than or equal to 51
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 200)         (greaterThanOrEqualTo ?I 151)))	Weather.kif 3150-3157	If unhealthy AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 200 and the real number is greater than or equal to 151
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 300)         (greaterThanOrEqualTo ?I 201)))	Weather.kif 3164-3171	If unhealthy AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 300 and the real number is greater than or equal to 201
(=>     (holdsDuring ?T         (and             (attribute ?L UnhealthyForSensitiveAQIAirQuality)             (airQualityIndex ?L ?I)))     (and         (lessThanOrEqualTo ?I 150)         (greaterThanOrEqualTo ?I 101)))	Weather.kif 3136-3143	If unhealthy for sensitive groups AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 150 and the real number is greater than or equal to 101
(=>     (holdsDuring ?TIME         (and             (instance ?BABY HumanBaby)             (age ?BABY                 (MeasureFn ?NUMBER YearDuration))))     (lessThanOrEqualTo ?NUMBER 1))	Mid-level-ontology.kif 375-380	If an entity is an instance of human baby and the age of the entity is a real number year duration(s) holds during a time position, then the real number is less than or equal to 1
(=>     (holdsDuring ?TIME         (and             (instance ?CHILD HumanChild)             (age ?CHILD                 (MeasureFn ?NUMBER YearDuration))))     (lessThanOrEqualTo ?NUMBER 14))	Mid-level-ontology.kif 294-299	If an entity is an instance of human child and the age of the entity is a real number year duration(s) holds during a time position, then the real number is less than or equal to 14
(=>     (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2738-2740	If a geopolitical area import partner by fraction another geopolitical area for a positive real number, then the positive real number is less than or equal to 1.0
(=>     (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 2723-2725	If a geopolitical area import partner by fraction in period another geopolitical area for a positive real number with a kind of time interval, then the positive real number is less than or equal to 1.0
(=>     (incomeDistributionByGiniIndex ?AREA ?INDEX)     (lessThanOrEqualTo ?INDEX 100.0))	Economy.kif 1313-1315	If a nonnegative real number is an income distribution by gini index of a geopolitical area, then the nonnegative real number is less than or equal to 100.0
(=>     (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)     (lessThanOrEqualTo ?INDEX 100.0))	Economy.kif 1300-1302	If a geopolitical area income distribution by gini index in period a nonnegative real number for a kind of time interval, then the nonnegative real number is less than or equal to 100.0
(=>     (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1341-1343	If a geopolitical area is inflation rate of consumer prices in period a real number for a kind of time interval, then the real number is less than or equal to 1.0
(=>     (instance ?BACTERIUM Bacterium)     (exists (?NUMBER)         (and             (width ?BACTERIUM                 (MeasureFn ?NUMBER Meter))             (greaterThanOrEqualTo ?NUMBER 0.000001)             (lessThanOrEqualTo ?NUMBER 0.000002))))	WMD.kif 205-211	If a physical is an instance of bacterium, then there exists a real number such that the width of the physical is the real number meter(s) and the real number is greater than or equal to 0.000001 and the real number is less than or equal to 0.000002
(=>     (instance ?CITY AmericanCity)     (lessThanOrEqualTo         (CardinalityFn             (ResidentFn ?CITY))         (CardinalityFn             (ResidentFn NewYorkCityUnitedStates))))	CountriesAndRegions.kif 2131-2135	If a geopolitical area is an instance of american city, then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of new york city united states
(=>     (instance ?DAY         (DayFn ?NUMBER ?MONTH))     (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 8599-8601	If an entity is an instance of the day a positive integer, then the positive integer is less than or equal to 31
(=>     (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 2803-2815	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of 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 660-670	If a process is an instance of tropical depression, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is less than or equal to 38.0
(=>     (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	If a process is an instance of tropical storm, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 39.0 and the real number is less than or equal to 74.0
(=>     (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1415-1417	If a geopolitical area labor force fraction by occupation an attribute for a real number, then the real number is less than or equal to 1.0
(=>     (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1399-1401	If a geopolitical area labor force fraction by occupation in period an attribute for a real number with a kind of time interval, then the real number is less than or equal to 1.0
(=>     (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1229-1231	If a real number is a lowest decile share of household income of a geopolitical area, then the real number is less than or equal to 1.0
(=>     (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (lessThanOrEqualTo ?FRACTION 1.0))	Economy.kif 1212-1214	If a geopolitical area lowest decile share of household income in period a real number for a kind of time interval, then the real number is less than or equal to 1.0
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