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 27988-27989
(domain approximateValue 1 RealNumber)	Mid-level-ontology.kif 27985-27985
(domain approximateValue 2 RealNumber)	Mid-level-ontology.kif 27986-27986
(instance approximateValue BinaryPredicate)	Mid-level-ontology.kif 27984-27984

appearance as argument number 2

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

Mid-level-ontology.kif 27987-27987

antecedent

(=> (approximateValue ?N1 ?N2) (modalAttribute (equal ?N1 ?N2) Likely))	Mid-level-ontology.kif 27991-27995
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely))	Mid-level-ontology.kif 27997-28003
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely))	Mid-level-ontology.kif 28005-28011

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 Volt ?N1)))
    (approximateValue ?N1 12))

Cars.kif 3169-3179