consequent

(=>     (and         (concentration             (MeasureFn ?N1 ?U) ?S             (MeasureFn ?N2 ?U2) ?M)         (instance ?SI ?S)         (part ?SI ?M)         (measure ?SI             (MeasureFn ?N3 ?U3))         (part ?SI ?M)         (not             (instance ?SI2 ?S))         (not             (equal ?SI ?SIE2))         (part ?SI2 ?M)         (measure ?M             (MeasureFn ?N2 ?U2)))     (approximateValue ?N1 ?N3))	Medicine.kif 234-249	If the concentration of a kind of substance in a mixture is a real number an unit of measure(s) per another real number the unit of measure2(s) and a kind of substanceI is an instance of the kind of substance and the kind of substanceI is a part of the mixture and the measure of the kind of substanceI is a third real number the unit of measure3(s) and the kind of substanceI is a part of the mixture and the kind of substanceI2 is not an instance of the kind of substance and equal the kind of substanceI and the kind of substanceIE2 and the kind of substanceI2 is a part of the mixture and the measure of the mixture is the other real number the unit of measure2(s), then the approximate value of the real number is the third real number
(=>     (and         (instance ?A Americano)         (part ?E ?A)         (part ?W ?A)         (instance ?E Espresso)         (instance ?W DrinkingWater)         (measure ?W             (MeasureFn 90.0 CelsiusDegree))         (mixtureRatio ?E ?W ?V1 ?V2 Liter))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)))	Food.kif 1322-1333	If an object is an instance of americano and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of potable water and the measure of the other substance is 90.0 celsius degree(s) and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15
(=>     (and         (instance ?A PointInSpace)         (instance ?B PointInSpace)         (located ?A AndesMountains)         (located ?B AndesMountains)         (orientation ?A ?B North)         (not             (exists (?A1 ?B1)                 (and                     (instance ?A1 PointInSpace)                     (located ?A1 AndesMountains)                     (orientation ?A1 ?A North)                     (instance ?B1 PointInSpace)                     (located ?B1 AndesMountains)                     (orientation ?B1 ?B South))))         (distance ?A ?B             (MeasureFn ?X Mile)))     (approximateValue ?X 5500))	Geography.kif 1436-1454	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Andes Mountains and the other object is located at Andes Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Andes Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Andes Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 5500
(=>     (and         (instance ?A PointInSpace)         (instance ?B PointInSpace)         (located ?A CaliforniaCoastRanges)         (located ?B CaliforniaCoastRanges)         (orientation ?A ?B North)         (not             (exists (?A1 ?B1)                 (and                     (instance ?A1 PointInSpace)                     (located ?A1 CaliforniaCoastRanges)                     (orientation ?A1 ?A North)                     (instance ?B1 PointInSpace)                     (located ?B1 CaliforniaCoastRanges)                     (orientation ?B1 ?B South))))         (distance ?A ?B             (MeasureFn ?X Mile)))     (approximateValue ?X 400))	Geography.kif 443-461	If an object is an instance of point in space and another object is an instance of point in space and the object is located at California Coast Ranges and the other object is located at California Coast Ranges and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at California Coast Ranges and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at California Coast Ranges and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 400
(=>     (and         (instance ?A PointInSpace)         (instance ?B PointInSpace)         (located ?A PeninsularRanges)         (located ?B PeninsularRanges)         (orientation ?A ?B North)         (not             (exists (?A1 ?B1)                 (and                     (instance ?A1 PointInSpace)                     (located ?A1 PeninsularRanges)                     (orientation ?A1 ?A North)                     (instance ?B1 PointInSpace)                     (located ?B1 PeninsularRanges)                     (orientation ?B1 ?B South))))         (distance ?A ?B             (MeasureFn ?X Mile)))     (approximateValue ?X 930))	Geography.kif 1308-1326	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Peninsular Ranges and the other object is located at Peninsular Ranges and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Peninsular Ranges and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Peninsular Ranges and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 930
(=>     (and         (instance ?A PointInSpace)         (instance ?B PointInSpace)         (located ?A RockyMountains)         (located ?B RockyMountains)         (orientation ?A ?B North)         (not             (exists (?A1 ?B1)                 (and                     (instance ?A1 PointInSpace)                     (located ?A1 RockyMountains)                     (orientation ?A1 ?A North)                     (instance ?B1 PointInSpace)                     (located ?B1 RockyMountains)                     (orientation ?B1 ?B South))))         (distance ?A ?B             (MeasureFn ?X Mile)))     (approximateValue ?X 3000))	Geography.kif 377-395	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Rocky Mountains and the other object is located at Rocky Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Rocky Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Rocky Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 3000
(=>     (and         (instance ?A PointInSpace)         (instance ?B PointInSpace)         (located ?A SierraNevada)         (located ?B SierraNevada)         (orientation ?A ?B North)         (not             (exists (?A1 ?B1)                 (and                     (instance ?A1 PointInSpace)                     (located ?A1 SierraNevada)                     (orientation ?A1 ?A North)                     (instance ?B1 PointInSpace)                     (located ?B1 SierraNevada)                     (orientation ?B1 ?B South))))         (distance ?A ?B             (MeasureFn ?X Mile)))     (approximateValue ?X 400))	Geography.kif 1338-1356	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Sierra Nevada and the other object is located at Sierra Nevada and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Sierra Nevada and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Sierra Nevada and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 400
(=>     (and         (instance ?B Blood)         (attribute ?B DeoxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) CarbonDioxide             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 4))	Medicine.kif 5787-5794	If a mixture is an instance of blood and deoxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 4
(=>     (and         (instance ?B Blood)         (attribute ?B DeoxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) Oxygen             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 14))	Medicine.kif 5778-5785	If a mixture is an instance of blood and deoxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 14
(=>     (and         (instance ?B Blood)         (attribute ?B OxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) CarbonDioxide             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 5))	Medicine.kif 5764-5771	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 5
(=>     (and         (instance ?B Blood)         (attribute ?B OxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) Oxygen             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 20))	Medicine.kif 5755-5762	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 20
(=>     (and         (instance ?B Blood)         (instance ?SL RingersLactate)         (tonicity ?SL ?B             (MeasureFn ?N Pascal)))     (approximateValue ?N 0.0))	Medicine.kif 5863-5868	If an object is an instance of blood and another object is an instance of Hartmann's solution and the tonicity of the other object with respect to the object is a real number pascal(s), then the approximate value of the real number is 0.0
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B AmericanRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 210))	Food.kif 547-552	If a food is an instance of coffee bean and American roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 210
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B CinnamonRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 196))	Food.kif 509-514	If a food is an instance of coffee bean and cinnamon roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 196
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B CityRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 219))	Food.kif 559-564	If a food is an instance of coffee bean and city roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 219
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B FrenchRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 240))	Food.kif 609-614	If a food is an instance of coffee bean and French roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 240
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B FullyCityRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 225))	Food.kif 585-590	If a food is an instance of coffee bean and full city roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 225
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B ItalianRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 245))	Food.kif 621-626	If a food is an instance of coffee bean and Italian roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 245
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B NewEnglandRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 205))	Food.kif 521-526	If a food is an instance of coffee bean and New England roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 205
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B ViennaRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 230))	Food.kif 597-602	If a food is an instance of coffee bean and Vienna roast is an attribute of the food and a real number is the temperature at which the food is roasted to, then the approximate value of the real number is 230
(=>     (and         (instance ?C Cappuccino)         (part ?E ?C)         (part ?M ?C)         (instance ?E Espresso)         (instance ?M MilkFoam)         (mixtureRatio ?E ?M ?V1 ?V2 Liter)         (part ?B ?M)         (instance ?B Bubble)         (top ?B ?M)         (measure ?B             (MeasureFn ?L Millimeter)))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)         (approximateValue ?L 20.0)))	Food.kif 1286-1302	If an object is an instance of cappuccino and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the approximate value of the third real number is 20.0
(=>     (and         (instance ?C CurdlingMilk)         (instance ?M Milk)         (patient ?C ?M))     (exists (?PH ?D ?H ?L)         (and             (measure ?M                 (MeasureFn ?PH PHValue))             (instance ?D Decreasing)             (subProcess ?D ?C)             (patient ?D ?PH)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (and                     (equal ?PH ?H)                     (approximateValue ?H 6.5)))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (and                     (equal ?PH ?L)                     (approximateValue ?L 4.5))))))	Food.kif 3233-3256	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and equal the real number and the entity and the approximate value of the entity is 6.5 holds during the beginning of the time of existence of the other process and equal the real number and the other entity and the approximate value of the other entity is 4.5 holds during the end of the time of existence of the other process
(=>     (and         (instance ?C FlatWhite)         (part ?E ?C)         (part ?M ?C)         (instance ?E Espresso)         (instance ?M MilkFoam)         (mixtureRatio ?E ?M ?V1 ?V2 Liter)         (part ?B ?M)         (part ?B ?E)         (top ?B ?M)         (instance ?B Bubble)         (measure ?B             (MeasureFn ?L Millimeter)))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)         (greaterThanOrEqualTo ?L 1.0)         (lessThanOrEqualTo ?L 20.0)))	Food.kif 1368-1386	If an object is an instance of flat white and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is a part of the substance and the top of the other substance is the self connected object and the self connected object is an instance of bubble and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15 and the third real number is greater than or equal to 1.0 and the third real number is less than or equal to 20.0
(=>     (and         (instance ?C Latte)         (part ?E ?C)         (part ?M ?C)         (instance ?E Espresso)         (instance ?M MilkFoam)         (mixtureRatio ?E ?M ?V1 ?V2 Liter)         (part ?B ?M)         (instance ?B Bubble)         (top ?B ?M)         (measure ?B             (MeasureFn ?L Millimeter)))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.21)         (approximateValue ?L 12.0)))	Food.kif 1400-1416	If an object is an instance of latte and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of milk foam and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance and a self connected object is a part of the other substance and the self connected object is an instance of bubble and the top of the other substance is the self connected object and the measure of the self connected object is a third real number millimeter(s), then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.21 and the approximate value of the third real number is 12.0
(=>     (and         (instance ?ET AuditoryCanal)         (part ?ET ?H)         (attribute ?H Healthy)         (diameter ?ET             (MeasureFn ?N Millimeter)))     (approximateValue ?N 0.7))	Anatomy.kif 1609-1616	If a circle is an instance of auditory canal and the circle is a part of an object and healthy is an attribute of the object and the diameter of the circle is a real number millimeter(s), then the approximate value of the real number is 0.7
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