Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - approximateValue
approximateValue

appearance as argument number 1
-------------------------


(documentation approximateValue EnglishLanguage "A relation that specifies two numbers are equal or nearly so.") Mid-level-ontology.kif 29838-29839
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 29835-29835 approximateValue, 1 and RealNumber
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 29836-29836 approximateValue, 2 and RealNumber
(instance approximateValue BinaryPredicate) Mid-level-ontology.kif 29834-29834 approximateValue and BinaryPredicate

appearance as argument number 2
-------------------------


(format EnglishLanguage approximateValue "the approximate value of %1 is %n %2") Mid-level-ontology.kif 29837-29837
(termFormat EnglishLanguage approximateValue "approximate value") domainEnglishFormat.kif 65779-65779

antecedent
-------------------------


(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (equal ?N1 ?N2) Likely))
Mid-level-ontology.kif 29841-29845
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))
Mid-level-ontology.kif 29847-29853
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))
Mid-level-ontology.kif 29855-29861

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
(=>
    (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 1321-1332
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))
Medicine.kif 5775-5782
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))
Medicine.kif 5766-5773
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 5))
Medicine.kif 5752-5759
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))
Medicine.kif 5743-5750
(=>
    (and
        (instance ?B Blood)
        (instance ?SL RingersLactate)
        (tonicity ?SL ?B
            (MeasureFn ?N Pascal)))
    (approximateValue ?N 0.0))
Medicine.kif 5850-5855
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B AmericanRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 210))
Food.kif 547-552
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B CinnamonRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 196))
Food.kif 509-514
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B CityRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 219))
Food.kif 559-564
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B FrenchRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 240))
Food.kif 609-614
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B FullyCityRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 225))
Food.kif 585-590
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B ItalianRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 245))
Food.kif 621-626
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B NewEnglandRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 205))
Food.kif 521-526
(=>
    (and
        (instance ?B CoffeeBean)
        (attribute ?B ViennaRoast)
        (roastedToTemperature ?B ?T))
    (approximateValue ?T 230))
Food.kif 597-602
(=>
    (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 1285-1301
(=>
    (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))
                (equal ?PH ?H)
                (approximateValue ?H 6.5))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (equal ?PH ?L)
                (approximateValue ?L 4.5)))))
Food.kif 3226-3247
(=>
    (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 1367-1385
(=>
    (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 1399-1415
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 0.7))
Anatomy.kif 1576-1583
(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 2.5))
Anatomy.kif 1567-1574
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 3.0))
Anatomy.kif 1526-1533
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (length ?ET
            (MeasureFn ?N Centimeter)))
    (approximateValue ?N 35.0))
Anatomy.kif 1517-1524
(=>
    (and
        (instance ?FM FoamingMilk)
        (patient ?FM ?M)
        (instance ?M ProcessedMilk)
        (instance ?H Heating)
        (subProcess ?H ?FM)
        (measure ?M
            (MeasureFn ?T CelsiusDegree)))
    (approximateValue ?T 70.0))
Food.kif 1207-1216
(=>
    (and
        (instance ?H Human)
        (instance ?R Rectum)
        (part ?R ?H)
        (holdsDuring ?T
            (and
                (coreBodyTemp ?H
                    (MeasureFn ?N ?U))
                (measure ?R
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N ?N2))
Medicine.kif 519-530

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