No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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