approximateValue - Sigma Knowledge base Browser

appearance as argument number 1

(documentation approximateValue EnglishLanguage "A relation that specifies two numbers are equal or nearly so.")	Mid-level-ontology.kif 29342-29343
(domain approximateValue 1 RealNumber)	Mid-level-ontology.kif 29339-29339
(domain approximateValue 2 RealNumber)	Mid-level-ontology.kif 29340-29340
(instance approximateValue BinaryPredicate)	Mid-level-ontology.kif 29338-29338

appearance as argument number 2

(format EnglishLanguage approximateValue "the approximate value of %1 is %n %2")

Mid-level-ontology.kif 29341-29341

antecedent

(=> (approximateValue ?N1 ?N2) (modalAttribute (equal ?N1 ?N2) Likely))	Mid-level-ontology.kif 29345-29349
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely))	Mid-level-ontology.kif 29351-29357
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely))	Mid-level-ontology.kif 29359-29365

consequent

(=>
    (and
        (instance ?IC IgnitionCoil)
        (instance ?P ElectricTransmission)
        (resource ?P ?E1)
        (instance ?E1 Electricity)
        (instance ?E2 Electricity)
        (result ?P ?E2)
        (instrument ?P ?IC)
        (measure ?E1
            (MeasureFn ?N1 Volt)))
    (approximateValue ?N1 12))

Cars.kif 3155-3165